Read .ipkg file to get working directory

If no ipkg, default to current file's dir as before. This really helps
in getting Idris to find the imports when working on a package.