Remove restrictions on names of installed headers

it's causing troubles and not fixing any real problem (anymore)

• [2018-02-23 12:23] Validation started with lhcb-gaudi-merge#426
• [2018-02-24 01:26] Validation started with lhcb-2018-patches#126
• [2018-02-25 01:27] Validation started with lhcb-2018-patches#127
• [2018-02-26 01:31] Validation started with lhcb-2018-patches#128
• [2018-02-27 01:35] Validation started with lhcb-2018-patches#129
• [2018-02-28 01:30] Validation started with lhcb-2018-patches#130

approved this merge request

@clemenci Could you please look at the Rec build failures in 2018-patches nightly? Could this be the cause?

mentioned in commit lhcb/Rec@dcb9d5c8

mentioned in merge request lhcb/Rec!934 (merged)

mentioned in commit lhcb/Rec@9be4a7c5

mentioned in commit lhcb/Rec@93bb0332

No, it's not the case, but I see it has been fixed already.

merged

mentioned in commit e1e6ce7c