Use gzip (.gz) instead of bzip2 (.bz2) to compress logs#1408

mvidner merged 3 commits intomasteragama-project/agama:masterfrom

use-gzip-not-bzip2agama-project/agama:use-gzip-not-bzip2Copy head branch name to clipboard