Test and document usage in Podman containers

[PhilippWendler]

We have some documentation for using BenchExec in a Docker container. Podman is a more modern alternative, and it might not have the problems that Docker containers have. So we should test whether and how BenchExec works inside a Podman container and document this, maybe even recommending it over Docker.