Currently pushing docker images takes an extraordinarily long time from
some runners. Work around this by excluding these runners from the pool
of runners for docker builds.