Also consider https://www.pixelbeat.org/scripts/ansi2html.sh for the general case of (colored) output to html conversion