create a gzip version of ogvjs.js with gzip's maximum compression
use 7z for gzip compression if available, improves compression efficiency (198K vs. 212K)
Merge pull request #102 from maikmerten/gzip

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