Add documentation and a default.nix file