[xmonad] Workspace ordering and DynamicWorkspaces (+ patch)