A little I7-to-HTML-with-syntax-coloring script.