Convert ANSI colors to HTML