Improve the test infrastructure

[astro]

For the first two years this project has run off the C3D2 Hydra: https://hydra.hq.c3d2.de/jobset/c3d2/microvm.nix#tabs-jobs That has the following problems:

• Our aarch64 builders are underpowered/broken.
• We build and check only the main branch. It would be nice to have early feedback on each PR.
• checks and hydraJobs in flake.nix containing multiple NixOS configurations requires a lot of RAM for a nix flake show, too much for a Github workflow. That breaks publishing to flakehub.com and flakestry.dev.

[astro]

KVM on Github runners seems viable: https://c3d2.social/@[email protected]/111449289698369586

[astro]

After reading about enabling KVM on Github runners, I have prepared a Github CI pipeline. Unfortunately, some jobs sometimes run so slow that VM bootup over 10 minutes runs into timeouts.

[zimbatm]

If you want, you can also use the nix-community CI. We have pretty good Ampere aarch64 builders.