Use uglifyjs mangle option.

cc @webreflection

The output of this is indeed smaller. Anyone have any objections?