G4DebuggingTools: declare public headers
Add the PUBLIC_HEADERS in the cmake configuration to properly install
them (and to avoid the cmake warning).
Add the PUBLIC_HEADERS in the cmake configuration to properly install
them (and to avoid the cmake warning).