Merge branch 'develop_integration_2019_w07_v2' into 'develop'

README.txt

ci-scripts/Jenkinsfile-gitlab

ci-scripts/cppcheck_suppressions.list

ci-scripts/doGitLabMerge.sh

ci-scripts/oai-ci-vm-tool

ci-scripts/reportBuildLocally.sh

ci-scripts/reportTestLocally.sh

ci-scripts/runTestOnVM.sh

cmake_targets/tools/build_helper

common/config/config_cmdline.c

common/utils/T/local_tracer.c

common/utils/T/tracer/gui/notify.c

common/utils/T/tracer/hacks/dump_nack_signal.c

common/utils/T/tracer/macpdu2wireshark.c

common/utils/T/tracer/utils.c

common/utils/backtrace.c

common/utils/hashtable/hashtable.c

common/utils/hashtable/hashtable.h

common/utils/hashtable/obj_hashtable.c

common/utils/memory_pools.c