Enabling extension for gnome-shell 3.10. Closes #86