Make 'docker push' faster at the small expense of extra registry disk space

Signed-off-by: R.B. Boyer <arebee@nexusvector.net>