Alias for docker image push.