Upgrade Jenkins to LTS release 1.580.1 (#523)