Build AgdaStdlib before installing it
Add an expression for build fullly local Hoogle docs
fix -G delimiter in call to useradd
file-roller: add 3.12.2 version
gedit: add 3.12.1 version
gnome-clocks: add 3.12.0 version
gcr: enable vala bindings
seahorse: add 3.12.2 version
network-manager: Fix all plugins to use gnome3 and gtk3, like nm-applet does

I think this makes sense, because now all the plugins will be gnome3 gtk3
based, the same way nm-applet is.

I also removed networkmanager_pptp_gnome variation of networkmanager_pptp
package, because i think no variation is needed and gnome support should
be on by default like in other packages.
Merge pull request #2708 from offlinehacker/pkgs/network-manager/gnome3

network-manager: Fix all plugins to use gnome3 and gtk3, like nm-applet does
nm-applet: add support for pptp
Merge pull request #2701 from offlinehacker/pkgs/nm-applet/pptp

nm-applet: add support for pptp
Merge pull request #2675 from cstrahan/fix-useradd

Fix -G delimiter in call to useradd
fix mkpasswd: use the git repository

Signed-off-by: Austin Seipp <aseipp@pobox.com>
Fix installer test

The installer now asks the user to set a root password if stdin is a
tty, which doesn't work for an interactive test.

http://hydra.nixos.org/build/11130072
nixos-install: Copy /etc/hosts

http://hydra.nixos.org/build/11130069
NixOS ISO: Set empty root password
Override networkmanager GUI packages with gnome 3.12 scope
evolution-data-server: use the right gnome3 package set in the service
Override gvfs with gnome 3.12 scope