RFR: 8256450: Add gz option to jmap to write a gzipped heap dump [v5]

[Lin Zang]

On Fri, 20 Nov 2020 02:57:55 GMT, Chris Plummer <cjplummer at openjdk.org> wrote:

>> Lin Zang has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   remove unnecessory arguments in verifyDump()
>
> Marked as reviewed by cjplummer (Reviewer).

Thank @plummercj and @sspitsyn  for your help reviewing this PR. I will add /integrate label, and may I ask your help to sponse pushing it? 

BRs,
Lin

-------------

PR: https://git.openjdk.java.net/jdk/pull/1251