Rewrite create_makefile.sh as a Makefile
This simplifies the build process. We now only need to type make to launch the compilation, the Makefile will create the _CoqProject and Makefile.coq files itself.
This simplifies the build process. We now only need to type make to launch the compilation, the Makefile will create the _CoqProject and Makefile.coq files itself.