Use tags to select appropriate CI runners
This MR adds the tags: [default]
key to all CI jobs.
This has the effect that CI jobs are picked up not only by the (multi-core) runner on Sisyphos, but also by the low-specced single-core runner on Hermes. In effect, this frees up resources on Sisyphos, because Hermes takes part of the load.