Consensus is for compressed manpages

[Ian Jackson]

Further to this discussion, I'm going to write into the policy manual
that manpages should be installed compressed using gzip -9.

Ian.