Fix the gnome-shell-extensions-* to work with the recent gnome-3.14. Some of
the extensions got updated to the newer versions upstream, others got fixed
and portbumped to work with 3.14.

While here bump -extra to reflect the extensions work with 3.14.