send REPL output directly to STDOUT, to avoid output buffers started by plugins

fixes #719