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