Package the Python tools that come with U-Boot, most importantly, `binman`. We take the sources from PyPI because this is the official distribution channel and the versions there are somehow newer than in the U-Boot repository itself.
