Implementation of compatibility with Gnome 3.10

This pull request allows the extension to work under Gnome 3.10 . A few minor improvements were made to the code but, overall, nothing much changed apart from necessary modifications to allow the extension to be fully compatible with Gnome 3.10 .

Lastly, this work wouldn't have been possible without the kind funding of Kristof Ringleff (@fooman) .