Upgrade Jenkins to LTS release 1.580.1 (#523)
Use XShell 0.9 SNAPSHOT to allow Jenkins to kill jobs (#529)
Save job config for xshell snapshot