Support for GNOME Shell 3.12 and 3.14

I hope you can merge these changes to keep the extension updated on the extension website.