avoid calling gaudi_install_headers twice
Following !1457 (merged), gaudi_add_library(... PUBLIC_HEADERS ...) already calls gaudi_install_headers()
Following !1457 (merged), gaudi_add_library(... PUBLIC_HEADERS ...) already calls gaudi_install_headers()