WindowList: allow switching windows with mouse scroll

This is something that gnome-panel supported, and apparently
some users would like to have it back, so restore this feature
on our window list too.

https://bugzilla.gnome.org/show_bug.cgi?id=723693