nixos: document default GNOME 3.12 in the 14.11 release notes