[PATCH v3 07/26] binman: Tweak collect_contents_to_file() and docs