pyranha: add missing header to the CMake project and minor doc bits.