REPL prompt should only show successfully loaded modules

Fixes https://github.com/idris-lang/Idris-dev/issues/1366. It was getting on my nerves :).