Fix Idris REPL conflict issue

See the following for more details,

 https://github.com/idris-hackers/idris-vim/issues/10

 https://github.com/idris-lang/Idris-dev/issues/1134

Signed-off-by: Edward O'Callaghan <eocallaghan@alterapraxis.com>