Implement first crude HTML output.
Prettify HTML, give color.

Looks dandy.