cargo2nix