Move several headers into public include directory

Closed François Grisez requested to merge feature/publish_several_headers into master

Merge request reports