Move files from server into Jenkins workspace.