Migrate Jenkins to iguana
In our CI jobs, we do a lot of copying artifacts back and forth between Jenkins and its workers. The performance of all such operations (possibly happening concurrently) is bound by the speed of 1 single CPU core on the Jenkins orchestrator. lizard's CPU cores are individually slow, so it would help quite a bit if we migrated it to iguana.