remove standalone from the bootstrap dependencies

some things might need to be added, though, to catch all the compute
libs required.
rework repl_fun_alt_proofTheory to match bootstrap translation

mainly: make repl_fun' use the basis state internally rather than taking
it in as a parameter. The tip of translation should now be
basis_repl_step, which calls repl_step passing the concrete initial
state on the initial call.
update translation of REPL module for reorganisation of repl_fun

tried testing it, but the translator grinds to a halt before it even
reaches the new parts of ml_repl_stepTheory. some crude experiments
suggest that the slowdown is occurring in snoc_dtype_decls, but not sure
why...
improve compset theorem for DeclAssum

It might not be necessary to evaluate DeclAssum at all, but this change
shouldn't hurt either way. What we want to avoid is attempting to
evaluate prim_sem_env by appealing to its definition (but since it came
from Lem it's hard to zDefine it directly).
add some debugging output to the translator

the debugging definition of print_time is currently commented out, but
uncomment it to get more information about what the translator is doing
and how long it is taking.
performance hacking snoc_cenv_eq_thm Dtype case

The slow part previously was the evaluation of
  ALL_DISTINCT (MAP FST (build_tdefs ... ++ ...))

The change is to use a custom compset instead of EVAL, where this
compset only has lists, strings, pairs, and build_tdefs.

The key, however, seemed to be to remove LIST_TO_SET_THM from the list
compset, because it ruins the nice rewrite for MEM. This should probably
be considered upstream.

This commit also includes some commented out debugging stuff, and a
commented out previous attempt to speed things up by caching
ALL_DISTINCT theorems.
call temp_tight_equality to get translation of repl module to work
make the_free_vars_compset a function

in general, compset-producing values should generate a fresh value
whenever they are used, because compsets are stateful (we don't want the
global the_free_vars_compset to be messed up by some local
modifications)
prove translator side conditions for basis_state and basis_repl_step
fix broken calls to EVAL in ml_translatorLib.finalise_module_translation

Another case of the_compset containing too much or the wrong stuff,
partly to do with problems with MEM and partly to do with prim_sem_env
(which should not be evaluated according to its definition).

I added two different compsets here, because if I try to combine
everything in one, then one of the usages blows up. Not exactly sure
why.
change the update_precondition from repl_step to basis_repl_step

this doesn't seem to do anything either way, though. what is the point
of this call to update_precondition?
updates to the bootstrap

mainly for the reorganised compsets

also replace compile_primitives with prim_env
start updating bootstrap lemmas
Merge remote-tracking branch 'origin/init_env' into remove_elab