open boolLib within unifyLib.sml

for access to various useful functions
move IL4 termination proofs into compilerTerminationTheory
make progToMcScript.sml build

but for some reason the EVAL still isn't picking up Let_Els_i4