Fix.
make instance take a tmenv rather than a whole sig

since it ignores the tyenv. arguably the same should be done for
termsem.
make termsem take a tmenv rather than a whole sig
Generate asm output, needs disassembly
Added disassembly of generated x86
Moved defs into cakeml computelib, removed test case
some updates to the top-level README
delete the old compiler proof scripts
Changed pretty printing of letnone
move dbterm stuff to later in the file

I thought about getting rid of it since it's equivalent to something
purely in terms of db. But that's probably not worth the effort.
remove unnecessary side condition on new_type_definition
delete commented out stuff about no_functions
delete prompt_to_i3_special

it wasn't doing anything important beyond decs_to_i3, so just use that
directly. advantage of not pushing an unnecessary NONE constructor after
a known successful declaration.
delete references to prompt_to_i3_special from bootstrap
Merge branch 'master' into Word8Array

Conflicts:
	compiler/proofs/compilerProofScript.sml
	explorer/pp/allPP.sml
	explorer/pp/astPP.sml

Conflicts in astPP.sml have not been touched.
The rest were resolved.