Support :exec in REPL

Fixes #106. Relies on idris-lang/Idris-dev#1018 but is backwards-compatible.