clear all the warnings when loading anything
print errors in repl buffer as well
provide a tree view for warnings (with some navigation to the source), pop that buffer if there are warnings
be a bit more careful about state
Merge pull request #50 from hannesm/issue-44

Issue 44
warning -> error, instructions for *idris-notes*; clean and dirty fiddling
Merge pull request #52 from hannesm/more-fixes

warning -> error, instructions for *idris-notes*; clean and dirty fiddli...
Add interactive Idris commands to menu

This improves discoverability and helps out users who are new to
Emacs. It was requested by someone in person the other day.
Merge pull request #53 from david-christiansen/more-menu

Add interactive Idris commands to menu
provide idris-kill-buffer which kills the buffer if alive
provide 'q' as keyboard shortcut to destroy the notes; also some cleanups
use idris-kill-buffer
do not use view-mode, since it shadows q - additionally, use idris-kill-buffer
move idris-kill-buffer to idris-common-utils
provide with-struct macro, fixes #54
Merge pull request #56 from hannesm/issue-54

provide with-struct macro, fixes #54
Merge pull request #55 from hannesm/minor-fixes

Minor fixes