Complete switching CI to Nix
Eventually fixes #188 (closed).
I have successfully created a Docker image with our whole nipkgs-22.05
pre-cached, and locally I can run nix-shell
just fine, but currently this fails on CI with "Operation not permitted", and I have to debug that.