FEATURE: Add gzipRobots flag to SimpleRedisRobotsCache and RedisRefresher to toggle writing gzipped robots