Adding things to compcert to accept the spark frontend.

For the moment this is done in an absolutely hackish way: via
extraction + output_value + input_value of the sireum output...
spark related gitignore.
A first compilation process from spark to assembly.

Very ugly hack for the moment:
foo.adb --sireum bakar--> foo.v
foo.v  --patch + extraction--> foo.ml
foo.ml --patch marshal + compilation + execution --> foo.mlo (marshalled ml values)
foo.mlo (marshalled ml values) --spark2Cminor+compcert--> foo.s (+foo.cm).
Adding a cleaning script to spark test directory.
adjusting gitignore.
adjusting gitignore.
addinG a spark test file with nnested procedures.
adjusting gitignore.
Fixed the dirty compiler for better portability.
amelioration config sparkcomp.
Fix sparkcomp again
commenting and smal refactoring.
Nested procedure seem to work (not the out parameter yet).
Finding the main procedure when compiling the global declaration.
Cleaning definitions.
Fix. last commit introduced a bug.
Copy_out for procedures implemented.
disserting in idee.txt + proc2 compleified.
Fix in compilation of spark nested procedure.
Generated assembly works! (fixed wrong duplication of params in local vars)