Increase CI disk space
We currently have 25 GiB disk space for CI machines. This appears to be on the low side. Let's increase it to 30.
At the same time we should also spend some time decreasing usage: in particular we have some big docker images that could be made smaller.