do minified name generation in js-optimizer.js, so that we have no more fixed limit on the # of minified names