improve the Makefile so the user doesn't need to run coq_makefile