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).