rearrange things so replCorrect can still build

not tested - waiting for build. this should work though...
update replCorrect for changes to mmlParse stuff
attempt to get repl translator to work after parsing changes
another attempt to fix ml_repl_stepScript.sml
remove reference to bootstrapProofs in oneshotProofs
fix oneshotProofScript.sml

it is sensitive to the number of declarations, which has changed. I
could make the proof less sensitive perhaps...
Try to make parser EVAL again
move unproved facts about oneshot_decs into hypotheses of the theorem

also parameterise the proof by the number of declarations, in case that
changes again.
curate compiler READMEs, clean away unused files and directories
two lemmas for bootstrap thm
fix replCorrect for previous commit
Can't get the examples working...
Update README for removed examples
mention x86 dir in top-level README
make bootstrap_lemmaScript.sml work

in a context where lookup is rewritten to ALOOKUP
rename oneshot to bootstrap
READMEs for the bootstrap directories
update README following name change in bootstrap dir
bootstrap theorem theory file
add a hand proof for env_rs_shift_to_menv above it