Add zlib.js which offers much faster decompression.
Replace the old JXG.js unzipping library with zlib.js in all compressed file formats.