Proposal: remove /usr/bin/minigzip

Hi,

I'd like to remove /usr/bin/minigzip , a patch is available at:

	https://reviews.freebsd.org/D35979

The minigzip is originally an example application shipped with zlib to 
demonstrate how to use it to implement basic functionality of gzip.  It 
was connected to the base system in 1997, mainly because there wasn't a 
GPL-free implementation of gzip(1):

	https://cgit.freebsd.org/src/commit/usr.bin/minigzip?id=85e55f7ab8473307fb16c5bce8c2e933a317215b

Now we already have a GPL-free gzip(1) implementation in base system for 
quite a while, so it seems that there isn't much value of keeping 
minigzip around.  A quick grep suggests that it's not being used by the 
base system anywhere, nor in the ports tree.

Any objections?

Cheers,