Install more headers

Ansgar Burchardt requested to merge ansgar/dune-functions:releases/2.4-compatible into releases/2.4-compatible Apr 06, 2016