../deps/v8/tools/jsmin.py