Could potentially reduce the load on the runners quite a bit.
However, we would need to have the following in mind:
- Have different caches for each runner.
 
- Use new cache whenever compiler tools/OS/whatever are changed between runs.
 
- Reuse 
flint.h if no changes in flint.h.in was made. 
Perhaps other things has to be taken into account as well.