Compress the man page.

Compress the man page.

Compressed man pages are generally preferred. We pass -n to make the
build (more) reproducible, as this option instructs gzip(1) to not
include the timestamp of the original file in the compressed file.

We keep the uncompressed man page in build/ because it is needed to
create the html version of the man page.