Rework CI

• improve ci (buildbot and its infrastructure)
• use perhaps gitlab runners and run the builds via slurm
• make targets for newer toolchains