Added default.nix and shell.nix
Fix shell.nix and add the .nix files to extra-source-files