Port new CI to iris-3.1.
This ports the new CI infrastructure to the iris-3.1 branch. I opted for the 8.8.1 job to be timed but we could just as well time all of them, seeing how this branch changes so rarely.
This ports the new CI infrastructure to the iris-3.1 branch. I opted for the 8.8.1 job to be timed but we could just as well time all of them, seeing how this branch changes so rarely.