This partially reverts 2bf11f4f. There is no need to add new Makefile targets as the Makefile already forwards all targets to Makefile.coq.