added a simple desktop/workspace-switcher panel-plugin