Update to be compatible with GNOME Shell 3.8

JS search API is now basically private - perhaps it's time
to start using the DBus API instead?