Update nix profile: - incorporate NixOS's configuration so that nix is usable by normal users - install as a data file, not a program file