Swap to Uglifier for JS compression.

There's probably not a good enough reason to do this, but…