insert output at right place (after prompt), always insert a prompt after a command
fixes #13
Add README info and demo for interactive editing
Ensure that both Idris process and the idris repl buffer is up and running,
before calling Check.

This was not the case for C-u C-c C-t... now there is a common entry point which reduces code duplication
add documentation for prefix arguments and C-cC-l
Stopped idris-load-file from unconditionally erroring
Replaced key specifiers like [return] with ?\ escapes.

For some specifiers, I was either unable to test them or could not find a
suitable replacement. These have been left alone and still don't work for me.
Changing "\t" to [?\t] for consistency
Merge pull request #31 from trillioneyes/fix-keymap-declarations

Fix keymap declarations
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.
Changed all keymap definitions to use kbd instead of escapes
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