binman: add tools directory to the python path