User interface improvements

* Show script and goals in prover

* Quit in menu

* Menu in REPL