Fast javascript minifier for Python