Check for file extension in :e

Now, when Idris is invoked without a module file extension, :e will add it.

Fixes #526.
Merge pull request #545 from david-christiansen/issue/526

Check for file extension in :e