Z lib

[Dennis Payne <dulsi@identicalsoftware.com>]

People on non-linux platform, do you commonly have z lib (compression
library that reads gz files)?  The info reading code currently runs
gunzip and creates a temporary file.  I figured I'd add in an option to
read it directly using z lib.

Also RPI is appearently shutting down computers on Dec 31 and will
return to full operation on Jan 2.  During this time the mailing list
may be down.  (I don't know if the computer science department is as
paranoid about the issue.)

Dennis Payne
dulsi@identicalsoftware.com