Consider to update to Debian trixie

Debian 13 (Trixie) has been released.

The base image used provides also a variant with that version.
See https://github.com/devcontainers/images/tree/main/src/base-debian

I think it would be time to consider to upgrade the base image to stay current.