move gif up
Remove compiler warnings
Allow file or directory variables to add packages

Now, the variable idris-packages will be consulted when launching the
interpreter and its contents added to the list of packages to load. File
or directory variables can thus be used to specify packages to load from
an Idris file or project.

RE #6 .
Merge pull request #58 from david-christiansen/remove-warnings

Remove compiler warnings
Merge pull request #59 from david-christiansen/packages

Allow file or directory variables to add packages
Improve reliability of changed package reload

Before, the process sentinel would sometimes not run.
Merge pull request #60 from david-christiansen/packages

Improve reliability of changed package reload
Adding mnemonic comments
Changed a doc comment to mention an edge case
Added "record" to the list of toplevel keywords
Let `idris-indentation-peek-token` know about the "record" keyword
Stopped recognizing some keywords from haskell
Added handling for record update syntax in expression context

Also removed handling of more haskell keywords in expression context!
Removed erroneous `current-token` update
Merge pull request #61 from trillioneyes/syntax-error-where

Added indentation handling for the `record` keyword
Add semantic highlighting to REPL.

Depends on https://github.com/idris-lang/Idris-dev/pull/801

This patch does the following: for expression evaluation and :t at the
REPL, it annotates the returned text with colors (as is done in the
console REPL) as well as tooltips. Thus far, these tooltips show
fully-qualified names, but in the future they can show docstrings,
types, etc.
Merge pull request #63 from david-christiansen/semantic-highlighting

Add semantic highlighting to REPL.
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