Print REPL output on std::cerr instead of cout.