[PATCH v2 11/25] binman: Rename tools parameter to btools