Add a --coq_makefile argument

This should help more with #2.