A simple HTML5 minifier written in Python.