Merge branch 'main' of...

Merge branch 'main' of ssh://git@gitlab.iri.upc.edu:2202/mobile_robotics/wolf_projects/wolf_installer.git into main

.gitlab-ci.yml

@@ -4,11 +4,12 @@ stages:          # List of stages for jobs, and their order of execution
 
 ############ YAML ANCHORS ############
 .script_gcc5_template: &script_gcc5_definition
-  - apt-get update
-  - add-apt-repository ppa:ubuntu-toolchain-r/test
-  - apt-get update
-  - apt-get install gcc-snapshot
-  - apt-get install gcc-5 g++-5
+  - apt-get update -y
+  - apt-get install software-properties-common -y
+  - add-apt-repository ppa:ubuntu-toolchain-r/test -y
+  - apt-get update -y
+  - apt-get install gcc-snapshot -y
+  - apt-get install gcc-5 g++-5 -y
 
 .script_install_template: &script_install_definition
   - apt-get update -y && apt-get install -y expect