Removing accidentally committed Makefile.coq