Edited for actual Gnome-shell versions.

The extension still works in Gnome shell 3.12, willl probably be ok in 3.10 too. I edited the version check in the init function. I am wondering what is this good for. I supose it could be removed from the code.