make public headers compilable
i.e. #include "public/header.h"
on its own should compile as tested by the test_public_headers_build
build target.
this thus includes
- some edits to CMake for untracked includes that we don't see in the regular build
- formatting changes and non-ascii character removals to make the ci happy
Edited by Marco Cattaneo