Use Debian 10 for our cross-compilation container images
Right now we use Debian 9 for our container images we use for cross-compilation. Now that Debian 10 is a thing (https://www.debian.org/News/2019/20190706) we should move to that new stable version. This is the meta bug tracking the overall task.