Get the extension working on Gnome shell 3.10

- Layout is not yet optimal
- Probably does not work anymore for Gnome shell < 3.10.