Prepare a Docker image for running code formatting check
check-formatting CI job is wasting a lot of time preparing the docker image (based on
debian:testing) that will be used to run clang-format-7.
A prebuilt image with all the relevant software in the right version will speed up the check.
It will also allow others to fix the formatting by using the container (which could be wrapped in a turn-key solution).