Support :exec in REPL

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