install_matching_bazel_version.sh seems inconsistent with installing bazel via apt in the first place

[NEOatNHNG]

Reasoning within src/s-core-devcontainer/.devcontainer/s-core-local/install.sh for not using bazelisk:

devcontainer/src/s-core-devcontainer/.devcontainer/s-core-local/install.sh

Lines 31 to 37 in fae4b2e

	# Bazel, via APT
	# - ghcr.io/devcontainers-community/features/bazel uses bazelisk, which has a few problems:
	# - It does not install bash autocompletion.
	# - The bazel version is not pinned, which is required to be reproducible and to have coordinated, tested tool updates.
	# - In general, pre-built containers *shall not* download "more tools" from the internet.
	# This is an operational risk (security, availability); it makes the build non-reproducible,
	# and it prevents the container from working in air-gapped environments.

This seems to be at least partly in conflict with having the install_matching_bazel_version.sh which installs the bazel version as given by the repo if it doesn't match the one in the container.

[lurtz]

When we have finally our first version we can fix that. At the moment all repos of S-CORE use the latest tag and unfortunately they use different Bazel version. When we have a version the current repos using the devcontainer can switch to that and we can remove the code for changing the Bazel version.

IIRC the only PR we still need is #35

[FScholPer]

@opajonk can you please check