Changes

ttcn3-bts-test: use osmo-bts with debian 13

Run osmo-bts in a debian 13 container, so we get a much newer bpftrace
version.

Debian 12: 0.17.0-1
Debian 13: 0.23.2-1

Change-Id: I231e1e93724faf6d659132be9b9d0e164502bf95