[xmonad] make DynamicLog prefix workspace names with number

[Omari Norman]

Hi,

Is there any easy way to get DynamicLog to prefix the names of
workspaces with numbers? For instance, I have workspaces named "web",
"mail" and "local"; I want these to show up in my xmobar as "1:web",
"2:mail", and "3:remote".

Of course I would just name the workspaces that way, but I also use
DynamicWorkspaces, which would make that tricky. Thanks! --Omari