Install more headers

Ansgar Burchardtrequested to merge
ansgar/dune-functions:releases/2.4-compatible into releases/2.4-compatible

Merge request reports