Downloading the Rust toolchain