From debian use uglifyjs > 3.12.4

[bastien-roucaries]

Hi,

we use the following command line:
uglifyjs -m --ie8 -c sequences=true,unused=false,toplevel=true --source-map --output _prelude.js < prelude.js

Could you please update to newer uglify.js ? Bonus point we improve prelude by 20 bytes

[bastien-roucaries]

Correction it does not work this command line work and we gain 1 byte:
uglifyjs -c unused=false,expression=true,passes=5 -m < $< | sed -e 's/;[[:space:]]$$//g' -e '/^[[:space:]]$$/d' | tr -d '\n' > $@