Add workspace/resolution checks for Xinerama.

If a workspace gets swapped, they both get marked as dirty to force a
rearrange.

Furthermore, each workspace gets checked for emptiness upon hiding (to
make sure there are no unfocused empty workspaces upon removing a
monitor).