Introduce jenkins.slaves.WorkspaceLocator

 which allows extensions to override the location of the workspace.