Experiments in making 'docker pull' reliable