Reset more state on quit
Completion in proof script buffers

This uses completion-at-point, just like the rest of idris-mode.