Use UglifyJS.