Change in jenkins[master]: Use docker start instead of restart in global setup