Updates minified js

This minified version uses a stronger compression on the variable
names, which cuts the size down by about an extra 1/3.