Tweak to get inference building
update some generated files for new Lem with fixed renaming
Merge remote-tracking branch 'origin/master' into Word8Array
fix proof of compile_prog_thm
fix proof of compile_prog_divergence
Merge remote-tracking branch 'origin/master' into Word8Array

Conflicts:
	compiler/compilerScript.sml
	compiler/conLangScript.sml
	compiler/exhLangScript.sml
	compiler/modLangScript.sml
	compiler/patLangScript.sml
	compiler/toBytecodeScript.sml
	semantics/bigStepScript.sml
	semantics/elabScript.sml
	semantics/semanticPrimitivesScript.sml
	semantics/typeSystemScript.sml

hopefully putting these lem-generated conflicts to rest