HTML output

[waveform80]

ANSI codes for the tty at least; maybe HTML?

[waveform80]

ANSI codes working as of 8575891, still need to work on HTML output (though that should now be trivial with the XML internal representation).