Wrap the call to coq_makefile in a try...except
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.

JasonGross/coq-tools,JasonGross/coq-tools