Fix lintian `manpage-not-compressed-with-max-compression` warning

This patch introduces some low-level hacks on GZIP files to make
lintian happy regarding the man page compression level.