Xmonad : switch to gnome-terminal, document the "reload" key