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 obsolete reference to printerTheory

however x64_heap still fails about halfway through because of other
changes to printing that have happened
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.
Merge remote-tracking branch 'origin/Word8Array' into init_env

Conflicts:
	explorer/pp/allPP.sml
	explorer/pp/astPP.sml