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.
Completion of global identifiers in Idris buffers

Now, Idris will provide completions when M-tab is pressed.
keep track of current working directory and set accordingly
Add Slime-style words of encouragement
mouse-click on completions works slightly better now
fix typo and add another
Eliminate stupid warnings about runtime use of cl

Now, idris-mode uses the namespaced versions from cl-lib instead.
Remove other warnings during byte-compilation