Added Idris repl support

Support for the [Idris](https://github.com/idris-lang/Idris-dev) lang REPL