proof shell for emacs (requires changes to idris-dev, which are in pull request 398)