Provide compatibility for gnome-shell 3.14

Fixes #28.
This is quick and dirty, and duplicates code. If this extension gets adopted with someone with time to properly maintain it, platform.js surely needs refactoring