A generic HTML minifier for python