Auto merge of #2459 - RalfJung:cargo-miri-split, r=RalfJung

split cargo-miri into multiple files

also greatly extend the 'who calls who' comment

Author: bors

.github/workflows/ci.yml

@@ -58,7 +58,7 @@ jobs:
             # contains package information of crates installed via `cargo install`.
             ~/.cargo/.crates.toml
             ~/.cargo/.crates2.json
-          key: ${{ runner.os }}-cargo-${{ hashFiles('**/Cargo.lock', 'cargo-miri/version.rs') }}
+          key: ${{ runner.os }}-cargo-${{ hashFiles('**/Cargo.lock', 'cargo-miri/src/version.rs') }}
           restore-keys: ${{ runner.os }}-cargo
 
       - name: Install rustup-toolchain-install-master and xargo

cargo-miri/Cargo.toml

@@ -9,7 +9,7 @@ edition = "2021"
 
 [[bin]]
 name = "cargo-miri"
-path = "bin.rs"
+path = "src/main.rs"
 test = false # we have no unit tests
 doctest = false # and no doc tests