Docs tweaks
Make console consistent between simulation and FPGA.

The simulator now exposes a virtual serial device.  libc stdout functions write
to this directly.