Add gzip option to show gzipped size.

Gzipped size is more useful since gzip compression should be enabled by
default almost everywhere.