Properly print dates when verbose.
Use a PTY process for the REPL.