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.