DynamicLog.hs: Add ppWsSep field to PP to specify workspace separator.
DynamicLog.hs: Add ppWsSep field to PP to specify workspace separator.

This can be useful when you are using colors to distinguish between
workspaces and simply provides more functionality. The default behavior
remains the same.
MasseR/xmonadcontrib,MasseR/xmonadcontrib