DESERT

Use docker runners to build DESERT for EvoLogics and RPI, so that we discover if we have regressions in xcompilation. To avoid bothering users with too long pipelines, do them once a week on sat morning, together with tests with latest gcc.
We would like to improve how DESERT is tested on CI and the artifacts we build. This epic is here to gather ideas and brainstorming. Tentatively, we would like to:

Do coding style automatically, signalling what is not correct → this blocks MR
Compile code with standard gcc and make some basic tests (i.e., run a tcl, ‘make check’ someone?) → this blocks MR
Compile with latest gcc every x time (once a week)
Do some tricky tests (TBD) once a week
Xcompile using docker once a week