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