Fix doxygen in cmake#5768

hannes-steffenhagen-diffblue merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

hannes-steffenhagen-diffblue:cmake/fix-doxygenhannes-steffenhagen-diffblue/cbmc:cmake/fix-doxygenCopy head branch name to clipboard