Remove libbdd and libglpk from C linker command

Now that GMLMIP is removed, those are not needed any more. Now cool
can really be built without GMLMIPs dependencies (as is now advertised
by the INSTALL file).

_oasis

@@ -17,7 +17,7 @@ Library libcool
   CompiledObject:   native
   Path:             src/lib
   BuildTools:       ocamlbuild
-  CCLib: -lminisat -lstdc++ -lbdd -lm -lglpk
+  CCLib: -lminisat -lstdc++
 
   # Warning: we use C++ sources in .c files because oasis does not recognize
   # cpp-files