actually pop to *idris-notes* buffer if there are warnings. if not, kill the *idris-notes* buffer
focus error when selecting in *idris-notes*
pop to repl only if it was freshly made
Merge pull request #70 from hannesm/more-sane-error

More sane error