Remove extraneous PUBLIC_HEADERS uncovered by gaudi/Gaudi!614

Rosen Matevrequested to merge
fix-public-headers-cmake-2018 into 2018-patches

2018-patches version of !933 (merged)

Edited by Marco Cattaneo

Merge request reports