Propagate latest gaudi-related changes from master into 2018-patches
Propagate !713 (merged), !682 (merged) (and !679 (merged)), !676 (merged) and !681 (merged) into 2018-patches.
Edited by Carlos Vazquez Sierra
GitLab jobs artifacts no longer stored forever as of Monday, November 4th 08:30h. Further information under https://cern.ch/otg0152576
Propagate !713 (merged), !682 (merged) (and !679 (merged)), !676 (merged) and !681 (merged) into 2018-patches.