Try to fix openmp's slowness with gcc on busy machines
Our CI infrastructure is plagued with openmp jobs that takes ages when the runner runs on an otherwise busy machine.
We've had OMP_DYNAMIC=true for a while, but it's not sufficient. This post investigates this exact same situation, and suggests a solution.