Check for file extension in :e

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