Docker users have to remove named container volumes manually, likely because of this: https://github.com/docker/cli/issues/4028

We may just need to add "--all" at the end of the "$(DOCKER) volume prune --force" command to get around this.

We should also add an "arm" selector to the arm repos so we can import those repos easily.