JavaScript minifier written in Python