Use UglifyJS 2.4.7

The |uglifyjs| call had to be adapted because the options changed
significantly in version 2.
Remove various unused variables and function parameters