Jenkins plugin for sharing workspaces