Support :exec in REPL

Now, the result of :exec is opened in a Comint buffer. This relies on:

https://github.com/idris-lang/Idris-dev/pull/1018

but is backwards-compatible.