Fix REPL ctx-saving bug

This fixes a REPL bug: If a command had no output, $*MAIN_CTX wasn't
being saved. This means, for example, 'use Test' (no output), followed
by 'ok True' on the next line would throw an error (as if 'use Test' was
never run).