Use one docker repo only.

Jö Fahlkerequested to merge
one-docker-repo into master

While this won't improve sharing of data on-disk, it will mean less network traffic.

Merge request reports