Display highlighted errors from Idris at the Emacs REPL
Remove debug printf
Highlight compiler errors in tree
Merge pull request #80 from david-christiansen/master

Show highlighted compiler errors in Emacs