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
Highlighting and help tooltips for notes buffer

Now, a mouseover shows the available mouse commands and the region in
which they are available
Merge pull request #81 from david-christiansen/master

Highlighting and help tooltips for notes buffer
Show compiler notes tree in chronological order
Merge pull request #82 from david-christiansen/master

Show compiler notes tree in chronological order
Added some explanation to install

The `exec-path` bit caught me out as I normally don't use emacs. Figured it would bite more than one person, so I think it should be in the installation section.
Merge pull request #84 from joneshf/patch-1

Added some explanation to install
Add note about `idris-interpreter-path`
Merge pull request #85 from david-christiansen/master

Add note about `idris-interpreter-path`
Move things around to create a strict dependency order

Now, idris-mode compiles cleanly for me in emacs -q.  Hopefully, this
will also fix MELPA problems RE #76.
Merge pull request #86 from david-christiansen/master

Move things around to create a strict dependency order
Make C-c C-t work more places

Now, C-c C-t (idris-type-at-point) understands semantic annotations from
the compiler. Thus, it works for annotated text in:

 * REPL output
 * Compiler warnings and errors
 * Info buffers (like the output of C-c C-t)

Requires minor bugfix to ideslave which is submitted to Idris.
Add command for retrieving docs

Now, C-c C-d retrieves the docstring for the identifier under
point. Starting a new pattern-matching definition is rebound to C-c C-s.

Relies on updated Idris compiler to support the command!
Add mouse commands to semantic highlights
Merge pull request #88 from david-christiansen/id-popups

Popup menus for semantically highlighted Idris text