Docker images have migrated to GitHub (#33)

Author: MatthijsBurgh

.ci/install.bash

@@ -41,7 +41,7 @@ echo -e "\e[35m\e[1mBRANCH       = ${BRANCH}\e[0m"
 echo -e "\e[35m\e[1mSKIPLIST     = ${SKIPLIST}\e[0m"
 
 # Set default value for IMAGE_NAME
-[ -z "${IMAGE_NAME}" ] && IMAGE_NAME='tuerobotics/tue-env-ros-noetic'
+[ -z "${IMAGE_NAME}" ] && IMAGE_NAME='ghcr.io/tue-robotics/tue-env-ros-noetic'
 echo -e "\e[35m\e[1mIMAGE_NAME   = ${IMAGE_NAME}\e[0m"
 
 # Determine docker tag if the same branch exists there