Prevent REPL from compiling to source file
Merge branch 'master' of github.com:Helkafen/Idris-dev into Helkafen-master
Make compiler filename warning use output commands
Add a test for compiler filename warnings