support for a :warning format with either line number, or line number and column (#731 in idris-dev adds the column)
delete all overlays if idris is quit; fixes #32
include note about idris version (to remove once a future idris release is out)
Add dirtiness tracking for Idris mode

Now only reload files when they've changed since the last time they were
loaded. This makes C-c C-t useful on large files.

The loaded status is shown on the mode line to make any delays predictable.
Merge pull request #33 from trillioneyes/use-kbd-for-keybinds

Changed all keymap definitions except tab binds to use kbd instead of escapes
Minor code cleanup

Replace nested if-then-else and progn-blocks with a cond (which has the
same control flow and implicit progns)
Make dirty-bit tracking more reliable
Whitespace cleanup
Correct highlighting of _|_
Fix highlighting of definitions and metavars

Now, the ? is highlighted as part of a metavar and patterns containing
operators are correctly highlighted as function parameters.
Improve highlighting of characters and strings
Improve highlighting of definitions with totality

Now, definitions with totality specifiers are properly highlighted.
Highlight infix operator definitions correctly
Highlight definitions with impossible clauses
Highlight %assert_total in a scary manner
Fix highlighting of directives
Fix adding clause newlines

Now, adding a clause to a definition that isn't newline-terminated works.
Replace gratuitous use of LOOP with MAPC

Fixes #35.
Replace side-effect-only MAPCAR with MAPC
Show type information in a buffer

Previously, types were shown using `message'. Now, they are shown in
their own info buffer, which lasts longer. This is particularly useful
for the types of metavariables, which show an entire proof context.