tools/server.sh: redirect .log to .log.gz