workspaces: switch current workspace on mouse wheel

Gnome does that on the panel widget, at first it was annoying
but after a while it feels quite handy.