Update to be compatible with GNOME Shell 3.8

JS Search API is now deprecated - should think about moving to
a DBUS based API - also we are not not backwards compatible with
previous GNOME Shell releases anymore