Semantic highlighting in C-c C-t output
Merge pull request #64 from david-christiansen/semantic-highlighting

Semantic highlighting in C-c C-t output
added tex source of the documentation
inherit from prog-mode rather than fundamental

fixes #62
Merge pull request #67 from hannesm/fix-62

inherit from prog-mode rather than fundamental
Show ! in the modeline while Idris is busy

Now, in Idris code and REPL buffers, a ! is shown while the interpreter
is taking care of a request from the user.
actually pop to *idris-notes* buffer if there are warnings. if not, kill the *idris-notes* buffer
focus error when selecting in *idris-notes*
pop to repl only if it was freshly made
Merge pull request #69 from david-christiansen/interpreter-status

Show ! in the modeline while Idris is busy
Merge pull request #70 from hannesm/more-sane-error

More sane error
I like this nil better than the other one
Fix REPL completion

Now that idris-eval returns an optional second element, we needed to
examine the car to get the result.
Merge pull request #71 from david-christiansen/interpreter-status

Fix REPL completion
Update interactive Idris commands to new idris-eval signature
Merge pull request #73 from david-christiansen/interpreter-status

Update interactive Idris commands to new idris-eval signature
Prevented extra indentation after a `module` declaration.
Prevented the syntax entry for '-' from being erroneously redefined
Merge pull request #75 from trillioneyes/skip-comments

Skip comments and fix module indentation
cl-flet is lexically scoped flet -- but we would need a dynamic binding here

(most likely) fixes #76