Adapt to new stretch-based CI

Merged username-removed-26331 requested to merge grote/repomaker:upgrade-ci into master

With the new CI image, 200 tests ran in 2 minutes and 26 seconds.