Preparation for Opam

* Coq Makefile build system added
* Git module removed for Math-Classes