Added preliminary gzip support based on jsxgraph zip.js