This adds development snapshots of GCC and Clang to our Dockerfile, and – as a prototype – checks if CI likes this. I will later add a commit that actually defines some separate jobs.
It’s not clear yet if it’s a good idea to have these in a Dockerfile, or if this should be a separate Dockerfile, or no Docker CI environment at all. The advantage of the Docker CI environment is that the built Docker images are cached. But that’s also the disadvantage. We probably want to rebuild the Docker image from time to time, and we can’t do this automatically. The images are cached based on the contents of the Dockerfile. I think it’s possible to nuke the cache from the web interface, but we’d need to do this on a regular basis then.
Moreover, it’s not clear to me yet if these should be run as part of PRs and on master (as currently), or as cron/nightly builds or something else. I lean towards adding a few jobs to the current strategy (PRs+master) because I think moving some builds to nightly is an orthogonal question.