Tag: push an image to docker hub