Add a script to update nixos version, and run it.

Fixes #83 (closed).

This completes the first two steps of #83 (closed). Running the script again will be a manual process for the moment.