[Build System] Rename Docker Containers in Build Scripts
The names of the docker files in https://gitlab.cern.ch/cgentsos/hdl-ci-dockerfiles/ have changed. The docker_build.sh
scripts should reflect those changes.
The names of the docker files in https://gitlab.cern.ch/cgentsos/hdl-ci-dockerfiles/ have changed. The docker_build.sh
scripts should reflect those changes.