Cause both script and goals to be shown when entering prover
Menu improvements: add quit, add repl menu
Merge pull request #2 from david-christiansen/ideslave-prover

User interface improvements