Easily convert colored command line output to HTML