Fast javascript minifier for python