[Window Manager] Multi-monitor-aware workspace-switch animation

The current workspace-switch animation does not look good if you have two monitors positioned side by side: windows belonging to one monitor are briefly seen on the other monitor. This patch fixes this by doing the animation one monitor at a time.