xmonad-gnome3 is now compatible with GNOME 3.8

Version 3.8 of GNOME's terminal has currently some very wierd encoding
bugs => replaced by xfce4-terminal