move real_inst_length and use it for the bootstrap
switch to Anthony's FLOOKUP_DEFN_CONV for the bootstrap
tweaks to make flookupLib stuff get actually called

though it doesn't seem to make a huge difference to the runtime. also
the current commit is a bit hacky since the gen_fmap_n numbers might
change.
make rewriting away the gen_fmaps more robust
bug fix and move thm upwards
slightly strengthen compile_Cexp_thm

attempting to allow the new code to already be part of the assumed
invariant, to allow the call_repl_step theorem to go around in a loop.
but it looks like this is not going to lift easily up to the higher
level theorems (compile_fake_exp, compile_dec, etc.).
fix broken compiler proof

change was due to the slight strengthening of compile_Cexp_thm
thoughts on theorem that might enable env_rs call code removal
bit more playing with env_rs_remove_call_code

going to need something that says:
  if syneq v Cv1 and syneq v Cv2 then...
  I don't know
clarify the addition to compile_Cexp_thm with a new no_funs constant

but evaluating Cno_funs on the result of translating the call_repl_step
dec yields F, because pattern matching - even pattern matching a literal
unit pattern - always introduces functions. so this approach is doomed.
perhaps a way to fix it is to compile the call as a special case without
going through the usual declaration machinery (and not doing any pattern
matching!), and prove special case theorems all the way up for it.
missing from previous commit
Some simple microbenchmarks

Using the Implicit Queue and the Splay heap
Merge branch 'master' of github.com:xrchz/vml
new compile_call_repl_step_thm

that should allow the env_rs invariant to be re-used in place around the
loop.
update bootstrap to match new compile call correctness theorem
prove COMPILER_INV loop cheat in x64Correct

as enabled by the new compile_call_repl_step_thm
SML and Ocaml code for run_benchmarks.pl
other benchmarking related changes
move some thms to HOL, make inferSound not depend on bytecode
package up lexer code