[PATCH v10 01/10] binman: bintool: Build a tool from a list of commands