Include the NixOS version in the manual

In particular, this will make it clear what version of the manual is
shown at http://nixos.org/nixos/manual/.