Draft: WIP: Improvements of the build system (don't review)

This branch contains experiments to improve the build and CI system. The different parts will be gradually extracted into small merge requests.