Keep the docker layer cache unless the disk is tight

Wait 5 sec.

Keep the docker layer cache unless the disk is tightThe base image rebuild pruned the build cache immediately before runningthe build, so every version bump repeated the apt and pip layers fromscratch and cost each validator its evaluation time while it rebuilt.Disk still stays bounded: the previous base image is removed after asuccessful rebuild as before, and the layer cache is pruned from cleanuponly once free space drops below 25GiB.