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.