deleted summon-arm-toolchain, which is a git repo anyway