Merge remote-tracking branch 'origin/develop' into feature-127-protocol-split

ci-scripts/Jenkinsfile-gitlab

ci-scripts/Jenkinsfile-tmp-ran

ci-scripts/buildLocally.sh

ci-scripts/buildOnRH.sh

ci-scripts/buildOnVM.sh

ci-scripts/checkAddedWarnings.sh

ci-scripts/checkCodingFormattingRules.sh

ci-scripts/conf_files/enb.band7.tm1.100PRB.usrpb210.conf

ci-scripts/conf_files/enb.band7.tm1.25PRB.usrpb210.conf

ci-scripts/conf_files/enb.band7.tm1.50PRB.usrpb210.conf

ci-scripts/createVM.sh

ci-scripts/destroyAllRunningVM.sh

ci-scripts/doGitLabMerge.sh

ci-scripts/fail.sh

ci-scripts/main.py

ci-scripts/reportBuildLocally.sh

ci-scripts/runTestOnVM.sh

ci-scripts/template-host.xml

ci-scripts/template.xsl

ci-scripts/xml_files/enb_usrp210_band7.xml