use zopfli instead of gzip when gzipping stats json files