allow running under gnome-shell 3.8
Use new keybinding API on gnome-shell 3.8
Merge branch '3.8'
0.6
local feed