Move several headers into public include directory

Merged François Grisez requested to merge feature/publish_several_headers into release/2.0

Merge request reports