added keybindings also in gnome shell 3.10
keybindings now setable in preferences
keybindings finished