Consensus is for compressed manpages

[Ian Jackson <ian@chiark.chu.cam.ac.uk>]

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

Ian.