Enable javascript minification mangling

This lets the minifier modify things like variable names to achieve
optimal results. Our JS is roughly half the size it was before after
this change.