Config is now compatible with GNOME 3.8

(requires xmonad-gnome3 from the AUR)