consolidated logic from the internal Core module (located in VerifyShell) and the Unix module into a single new class
consolidated session history logic into the session management class
consolidated module logic into a new module manager class
moved module manager and standard out/error instances into the runtime context
updated module to use implicit values for standard output
moved command parsing and interpretation methods to the companion object
import optimization