Update Docker image
This docker image is still heavily used for publications, but a new build hasn't been made in 2 years. It uses debian:testing
, which I believe was Bookworm at the time it was built. In that case we can probably switch to debian:stable
(aka debian:bookworm
) without breaking things.