Changes

OBS: support building debian trixie (13) pkgs

Translate "debian:13" to "debian:trixie", as for some reason no docker
tag is getting pushed for "debian:13". With this we can keep using the
usual short naming scheme in pipeline_binpkgs lines in
gerrit-verifications.yml (see next patch).

Change-Id: I1377af7f74f074ed6e28e07dee82360d024edd05

jobs/gerrit: remove binpkgs that are the default

Remove the pipeline_binpkgs lines that are the same as the default. This
is in preparation for changing the default.

Change-Id: I348a83c8d70c2042bcab9ccaf83be2a638e722e7

jobs/gerrit: binpkgs: update debian versions

Change the default from "debian:10 debian:12" to "debian:11 debian:13",
as Debian 13 has just been released and we are about to remove Debian 10
binary packages.

Related: https://osmocom.org/news/310
Related: https://osmocom.org/news/308
Related: OS#6826
Change-Id: Ifc1d603c9e6e5054ad2f121f53ba3fb7e4d05286

jobs/registry-update-base-images: add debian:trixie

Change-Id: I905863157b35bdc4ca60116be477b90abbd215f1