Clone of official tools

toolchains/gcc.py/shortlog@96847d42f010: not found in manifest