create a gzip version of ogvjs.js with gzip's maximum compression

Serving precompressed files saves CPU cycles and a bit of bandwidth (on-the-fly compression usually is not configured to use slowest compression).

Much slower and much more efficient offline compression can be achieved with 7z (which can also create files in gzip format), which should be used when available. Exploring this for a subsequent patch.