Use host `del` to more quickly wipe the directory
Use host `del` to more quickly wipe the directory

I tested the script `cmd /c del /s /q *` locally and it leaves
`.git` in place and a subsequent checkout quickly puts everything in place.

staticfloat/julia-buildbot,staticfloat/julia-buildbot