add Gnome-shell 3.10 to supported platforms

Works fine with gnome-shell 3.10.