cl-flet is lexically scoped flet -- but we would need a dynamic binding here

(most likely) fixes #76
Merge pull request #78 from hannesm/maybe-fix-76

cl-flet is lexically scoped flet -- but we would need a dynamic binding here
Display highlighted errors from Idris at the Emacs REPL
Remove debug printf
Highlight compiler errors in tree