Merge branch 'patch-2' into 'master'

Add TriggerMenu domain

See merge request !673

CI/domain_map.py

@@ -32,4 +32,5 @@ DOMAIN_MAP['Tile']             = set(['^TileCalorimeter/'])
 DOMAIN_MAP['Tools']            = set(['^Tools/'])
 DOMAIN_MAP['Tracking']         = set(['^Tracking/'])
 DOMAIN_MAP['Trigger']          = set(['^Trigger/','^HLT/','Trig','^DetectorDescription/.?Reg','^DetectorDescription/RoiDescriptor','RegionSelector'])
+DOMAIN_MAP['TriggerMenu']      = set(['^Trigger/TriggerCommon/TriggerMenu'])