Dependencies imported from Coq
Makefile added