Remove the [workspace] section.
Remove the [workspace] section.

Miri does not need to maintain a workspace anymore. Also, keeping miri a
workspace conflicts with rustc's own workspace.

rust-lang/miri,rust-lang/miri,rust-lang/miri,tsion/miri,rust-lang/miri