GNOME and KDE team up on the Linux desktop