publish.py: Compress JS instead of just minifying.