Add default.nix
Simplify shell.nix