add my (now rather old) toolchain installer script to the git repo