Added support for badges in Workspace control

See documentation in Wiki for details on how to use the badge feature