bump jenkins to 1.580.2