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.

This is relevant following the loading of source dirs from ipkg files.