Switching from yuicompressor to rjsmin.py as the javascript minifier.
It's not quite as good, but it's much faster, easier to deal with,
and in Python. (Pfui on Java these days.)
Resquashed source using new tool. Somewhat less minimal, but the difference
is not worth sweating about at this point.
New accel functions.
Bump version number.
Old comment in build.py was wrong.
Built source.