[PATCH] gzip: ship zgrep, zless and zmore