Insert bird tracks on idris-add-clause if necessary
Fix bad loading order

This fixes a problem where it was sometimes necessary to invoke
idris-mode again after loading a file before things worked.
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.