integrate Coq makefile into top level makefile