Remove unneeded arguments from cmdline opt finding
Calculate command line arguments from .ipkg file

Now, if working in a package, idris-mode adds the .ipkg command line
arguments to the invoked Idris instance.
Merge pull request #219 from david-christiansen/ipkg-cmdline-opts

Compute idris interpreter arguments from .ipkg