Add Nix CI

This

• adds a default.nix, to describe the package ("derivation");
• rewrites the postinstall to shell, because it didn't work out of the box for some reason. It only called shell commands anyway;
• adds the target in .gitlab-ci.yml