Update CI configuration

This updates the CI configuration to use the new Docker images and their different toolchain configuration. Note that this causes a build failure on Debian 9 with GCC 6 due to an ICE or a compiler timeout. I'll push a separate MR to fix this issue, as the fix will need to be backported.