Wrap the call to coq_makefile in a try...except

In case `coq_makefile` can't be found, give a nicer error message.

This, I hope, closes #2.