[PATCH 3/3] binman: Add gzip bintool