Removing docker push as part of release, as failures are quite irritating.
Fixing Docker yum install for gatehouse.