Consider using the dependency proxy

[Taucher2003]

Our pipelines currently pull images directly from docker hub. Docker Hub is implementing much stricter rate limits in april, so we should switch to the dependency proxy, as we are already running into rate limits sometimes.

[Taucher2003]

The stricter rate limits have been delayed, moving this from high priority to low priority