Removing Agda, doesn't compile

* sets/common.nix:
GVFS and splitted Gnome packages

* sets/x11.nix:
Thunar needs policy kit to be usable outside of XFCE..

* sets/common.nix: