Preparation for Opam

* Coq Makefile added
* src/ is now the root directory (other directories removed)