Reset more state on quit
Completion in proof script buffers

This uses completion-at-point, just like the rest of idris-mode.
Merge pull request #181 from david-christiansen/prover

Prover updates