Stream for converting terminal UTF-8 ANSI color codes into HTML