added file Make for use with coq_makefile