Use the Super key for workspace shortcuts

The new defaults are Super+Page Up/Down for switching workspaces,
and Super+Shift+Page Up/Down for moving windows between workspaces.
We keep the old defaults around, to not invalidate people's muscle
memory.
https://bugzilla.gnome.org/show_bug.cgi?id=689969