remove semantics/Makefile; just use the Holmakefile
remove Makefile from metatheory; just use Holmakefile
remove translator/Makefile; just use Holmakefile
delete lem targets from top-level Makefile
add replDecsScript.sml

the few extra declarations on top of ml_repl_step_decls for tying the
repl together
add missing parens in replDecsScript.sml
initialise output to 0 in replDecsScript.sml
add copyright notice, license, and disclaimer
move some lemmas from bootstrapScript.sml to compiler/proofs
add replDecsProofsScript.sml

and prove the first instantiated compiler correctness theorem.
Improved lexer

1) recognises negative numbers
2) More closely follows SML on type variables and symbolic identifiers
3) Simplified processing of long identifiers.  The lowest level now just
recognises a sequence of alphanumeric+symbolic+#"." characters.  The next level
up splits it on the first "." (if present) and checks that both sides are either
all alphanum'_ or all symbolic.
Start on unverified interpreter (for fun!)
prove call_repl_step instantiated compiler correctness theorem
update the bootstrap evaluation theory

remove the oneshot version.
the new version evaluates repl_decs, and, separately, the code
for making the call to repl_step.

also, exposed the value of the previously existentially quantified
compiler state in compile_repl_decs_thm, to be able to see what state to
use to compile the call.
update the RAM requirement

I ran it on my laptop with 8GB RAM and 8GB swap. I didn't see more than
1GB of swap being used, but I didn't watch the whole thing.
tweak bootstrap readme
remove interactiveScript.sml
Complete unverified CakeML implementation

Only minimally tested
reorganisation pass over semanticsExtraScript.sml
strengthen compile_decs_append_out with info about ct/m.cnmap relationship