add Gnome-shell 3.10 to supported platforms

Works fine with gnome-shell 3.10.
Merge pull request #1 from genodeftest/patch-1

add Gnome-shell 3.10 to supported platforms