coqdoc is minimaly -Q aware
Fix Coq_makefile in presence of mlpack