update compile_repl_stepScript.sml for new compiler interface

now stop_CONS/stop_APPEND is even harder to use (not using it) since the
compiler doesn't return code for a declaration (but just keeps
internally consing onto its code list). so not using it for now...
build compile_repl_stepScript.sml

There are slightly more declarations now than before.

I built it interactively and saved the theorem and exported the
theory! It seems like the new definition of the compiler somehow avoids
what might have been a memory leak before, since the memory usage stays
low between calls (it still goes up to 30GB or more during sometimes).

Theory "compile_repl_step" took 42m31 to build. (That number is always a
lie though...)
The Theory.sml file is 17M, and is in my scratch space on chit.
Will need to do this again after merging with tup+eq.