Changes

jenkins-common: support debian13 suffix

Make it possible to switch some containers over from debian 12 to debian
13 without touching the rest (which may have unintended side effects).

Change-Id: I442545160dad264d2c3d8f77a3d9fd8ccc706832