Make compiler/bytecode/miscLib compile under most recent version of HOL.

Problem is renaming of goalstack traces. Rather than break things for
people on an old version of HOL, I just comment out the call to
set_trace.
Make mmlParseREPLTop EVALuate again.
Add a comment with the text necessary to include OWHILE in the compset.
Add a 160-instance of o-definition example to compile_repl_step.