Merge proposals dependent on lp://staging/~maddevelopers/mg5amcnlo/HEPToolsInstallers_dev

lp://staging/~maddevelopers/mg5amcnlo/HEPToolsInstallers_dev has no merge proposals.