Add gnome-shell-3.10.2 and remove deprecated version