Update for gnome-shell 3.10
Merge pull request #11 from thoemy/master

Update for gnome-shell 3.10