Better REPL colors; fixes #425.
Scroll REPL on stdout.