fix bootstrap_lemmasScript.sml for moved theorems
add targets dir to the build sequence
split up bootstrap evaluation, note problem with label removal

The repl_decs_code_eq theorem was previously not reducing anything
because it wasn't using the bytecode (labels) compset. Now it is
commented out because the call to code_labels is not obviously correct
and won't work anyway since we can't prove good_labels about the result
in compile_repl_decs (only good local labels).

moved labels-related theorems into one theory, and free-vars-related
ones into another, leaving only compiler-evaluation ones in the original
compile_repl_decsTheory.
start on trying to remove labels from the bootstrap code

also, rename some theories under bootstrap/ for a more consistent naming
scheme.

the label removal evaluation still fails, but the requisite (I think)
code_labels_ok theorem is now proved.
An ASM to x86-64 encoder and correctness proof.

The proof could benefit from some extra work, as it currently takes about 1.5hrs to complete. It relies upon HOL4 commit 4f16bf9.
add missing things to compiler compset

the compiler emits tags that were only in the bytecode compset; now they
are also included in the compiler compset. also, some types in intLang
hadn't been added to the compiler compset.
stub of initial thoughts on constrained models
prove the basis program produces no output

and thereby simplify the statements of the REPL correctness theorems
Merge remote-tracking branch 'origin/master' into fmap_refactor
Fix