JavaScript minifier written in Python.