Make the extension compatible with GNOME Shell 3.12.
Also support GNOME Shell 3.14.

The extension looks compatible with 3.14 too without further changes.
Merge pull request #3 from micheleg/master

Support for GNOME Shell 3.12 and 3.14