[CakeML-Dev] Fixing scripts in boostrap/io

[Armaël Guéneau]

Hi,

I pushed some more easy fixes for the scripts in boostrap/io.
Proofs of cf specifications should now work, but there is still work to do.

In particular, in helloProgScript, raw_evaluate_prog fails, I suspect 
because
app_basic changed and now includes the possibility that an exception is 
raised.

I tried to look if I could fix the script but I didn't manage, and only 
have a high-level
idea of what's happening there.

— Armaël