shell.nix and default.nix for developing on NixOS