Add a general Makefile

[yoogx]

We need a makefile to automate process of proving, compiling, etc

[yannickmoy]

Note that it should be feasible to have most of the configuration in the project file cg_ada_spark.gpr, including special switches for proof. So the Makefile could be just calls to gprbuild/gnatprove on cf_ada_spark.gpr