change-id warning shows up as clutter in CI logs

[RalfJung]

CI logs (specifically the mingw-check PR CI job) have a lot of this:

WARNING: The `change-id` is missing in the `config.toml`. This means that you will not be able to track the major changes made to the bootstrap configurations.
NOTE: to silence this warning, add `change-id = 129473` at the top of `config.toml`
NOTE: this message was printed twice to make it more likely to be seen

This should probably be silenced on CI to avoid cluttering the logs?
Cc @onur-ozkan

[onur-ozkan]

Interesting... We have this already for ignoring change-tracker warnings:

rust/src/ci/run.sh

Lines 50 to 53 in e7386b3

	# suppress change-tracker warnings on CI
	if [ "$CI" != "" ]; then
	RUST_CONFIGURE_ARGS="$RUST_CONFIGURE_ARGS --set change-id=99999999"
	fi

[Kobzol]

I think this somehow broke recently, the warnings were not there a few weeks ago, but now they're indeed spamming CI.