gitlab-ci and readme need to be updated
This script is used during the CI. It is moved from .devocontainer to docker folder, probably this is not the correct place.
