Made Idris a little more ghci-friendly.

I added a `.ghci` file specifying the language extensions the Idris source seems to expect to be globally enabled and a default case for the CPP-cased definition of `hostDynamicLibExt`.