Merge branch 'STF525' of https://forge.etsi.org/gitlab/ITS/ITS into STF525

docker/Dockerfile

@@ -83,11 +83,7 @@ RUN echo "docker-titan-STF525" > /etc/hostname \
 USER etsi
 
 RUN cd /home/etsi/dev \
-    && git clone --recurse-submodules https://forge.etsi.org/gitlab/ITS/ITS.git ./STF525_Its \
-    && cd /home/etsi/dev/STF525_Its \
-    && git checkout STF525 \
-    && cd /home/etsi/dev/STF525_Its/ttcn/LibIts \
-    && git checkout STF525 \
+    && git clone -b STF525 --recurse-submodules https://forge.etsi.org/gitlab/ITS/ITS.git ./STF525_Its \
     && cd /home/etsi/dev/STF525_Its/scripts \
     && chmod 775 *.bash devenv.bash.* \
     && cd /home/etsi \

vagrant/provisioner.bash

@@ -74,9 +74,7 @@ then
 fi
 
 cd /home/vagrant/dev 
-git clone https://forge.etsi.org/gitlab/ITS/ITS.git ./STF525_Its
-cd /home/vagrant/dev/STF525_Its
-git checkout STF525
+git clone -b STF525 –recurse-submodules https://forge.etsi.org/gitlab/ITS/ITS.git ./STF525_Its
 cd /home/vagrant/dev/STF525_Its/scripts
 chmod 775 *.bash devenv.bash.*
 cd /home/vagrant/dev/STF525_Its/docker