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.
Merge pull request #119 from david-christiansen/ipkg-load

Read .ipkg file to get working directory
Merge pull request #120 from david-christiansen/lidr

Fix .lidr support
Don't show absurdly long prompts

The new customization option idris-repl-prompt-style allows users to
pick between showing the long prompt and just having a lambda-pi prompt
with the name from Idris as a tooltip.
Merge pull request #121 from david-christiansen/ipkg-load

Don't show absurdly long prompts
Add command to go to REPL

Fixes #122.
Merge pull request #124 from david-christiansen/ipkg-load

Add command to go to REPL
Load files relative to working directory

Fixes #125.
Merge pull request #127 from david-christiansen/ipkg-load

Load files relative to working directory
Be smarter about checking file locations

Fixes #128.
Merge pull request #129 from david-christiansen/ipkg-load

Be smarter about checking file locations
Comments for .ipkg
Merge pull request #130 from david-christiansen/ipkg-load

Comments for .ipkg
Show warnings even if they don't have a source location

Ideally, Idris would send all errors with source locations, but this is
a nice stopgap.
IDESlave protocol flexibility
Merge pull request #131 from david-christiansen/ipkg-load

Display "can't find import" errors in warnings buffer instead of REPL
Make RET insert a newline and indent

In literate files, also insert the leading >.