Prover updates

This fixes a bug where some state didn't disappear on `idris-quit`, and it makes completion work with completion-at-point (just like the rest of idris-mode)