A python-based code-to-html syntax highlighter