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 .