Stream terminal output with ansi codes into nicely formatted HTML