fix
move code from colorize.py to highlight2html.py, delete old colorize.py