bump jenkins to 1.580