Sanitize `Cargo.toml` values when creating Docker image

[joshlf]

We currently copy Cargo.toml into the container in our Dockerfile in order to be able to pre-build dependencies and run the setup command. However, some values in the manifest are irrelevant for these. Whenever they change, then in both local development and in CI (in particular, our container cache/registry), the image must be rebuilt. We should attempt to sanitize as many of these as possible to reduce the rate of rebuidls.

As of this writing, the following can all in theory be sanitized:

zerocopy/anneal/Cargo.toml

Lines 6 to 22 in 5b38beb

	edition = "2024"
	version = "0.1.0-alpha.15"
	description = "Formally verify that your safety comments are correct."
	categories = [
	"development-tools::cargo-plugins",
	"development-tools::testing",
	"compilers",
	"mathematics",
	"security",
	]
	keywords = ["verification", "cargo", "plugin", "unsafe", "lean"]
	authors = ["Joshua Liebow-Feeser <joshlf@google.com>"]
	license = "BSD-2-Clause OR Apache-2.0 OR MIT"
	repository = "https://github.com/google/zerocopy/tree/main/anneal"
	publish = true
	exclude = [".*", "testdata"]