Add Idris repl config.