add small script to toggle cheating of the bootstrap
update bootstrap README
delete (apparently) unused translator/repl/proofs
script for counting lines of code

plus some of the data (in comment at bottom)
the script might be buggy... eyes welcome.
remove clockScript.sml from README

since it's not there any more
remove top-level Makefile

it seems pointless to me.
for the cleaning stuff it's probably better to do git clean -xdf.
attempt to make Holmakefiles not require lem to be installed
add generated print_astScript.sml to repo
bit more work on COMPILER_RUN_INV_INR

seems more likely to be true now
use temp_tight_equality instead of tight_equality in hol-light

to avoid the annoying warning message
Remove the add_infx of --> in ml_translatorTheory.

The problem is that --> is already in the term grammar as an infix at a
different precedence for quotient$-->. We depend on quotientTheory
because of integers. I'm not sure what the right thing to do is here,
but having two different rules for the same token causes warning
messages and seems to make the EmitTeX munger fail.

Luckily, it seems that not much depends on the exact precedence of
ml_translator's --> (Arrow).
more COMPILER_RUN_INV_INR
rename lV to V
Merge remote-tracking branch 'origin/master' into cenv_close