added default.nix for going into nix shell.