KDE, le concurrent de Gnome, passe en GPL