add script to dump hex color sequences as HTML