REPL: use gray streams for output.
Use a thread-safe way of adding output.
Use QGraphicsLinearLayout to manage REPL elements.