Clone of official tools

toolchains/arm.py/shortlog/shortlog@25bff2709c20: not found in manifest