Initial test scripts
Merge branch 'master' of https://github.com/xrchz/vml
Work on i1 and AST
Fixed if-then-else blocks
Added blk to most of the functions present
Merge branch 'master' of https://github.com/xrchz/vml
added list of test examples
Finished up AST prettyprint
Missed a file
Changes to ast pp for reuse
Added i2 script
Merge branch 'master' of https://github.com/xrchz/vml
Merge branch 'master' of https://github.com/xrchz/vml
updated scripts for ast to i4
updated scripts up to intLang
Some repair of the replCorrect theorem

The proof gets through the fromt end stuff about applying the
inferencer and type soundness proofs. But the case split on whether
bc_eval diverges doesn't work, and this is the next step in the proof.
Minor fixes
add missing read_string_def to cakeml_computeLib
add SPLITP computation to cakeml_computeLib

Required for lexing long names. This should be in (rich_)list's compset,
ideally.
fix bug (I think) in definition of FV_prog

long names referring to previously declared modules should not be
considered "free".