A simple HTML minifier written in Python.