Removed `build.rs` for `rust-toolchain.toml`#44

dkcumming merged 2 commits intomasterruntimeverification/stable-mir-json:masterfrom

dc/use-toolchainruntimeverification/stable-mir-json:dc/use-toolchainCopy head branch name to clipboard