Shorten (mangle) names in JavaScript code