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...