Simple Python tool to convert ANSI color characters to HTML with colored style.