Update installation manual

Adobt the new way of creating an initial configuration file using

nixos-generate-config