docker-image: add option to push image built in CI
When PUBLISH_CI_IMAGE is defined, the build command will push the image to the registry to a separate ci repository.
When PUBLISH_CI_IMAGE is defined, the build command will push the image to the registry to a separate ci repository.