docker-setup: bash has loops, use them.

Small fix for the download sub, since it's getting longer.