Merge pull request #1 from david-christiansen/ideslave-prover

Make proof obligations and repl pop up when starting
support for proof script editing
implement backwards
completions for proof script!
Cause both script and goals to be shown when entering prover