A simple JavaScript minifier built in Python 3.3.1