Add a CI target that checks documentation coverage and reports back to github. While at it, change the output of doxy-coverage to a json file so it is easy to consume.
Add a cmake target that builds doxygen documentation and reports on coverage using doxy-coverage. Script was copied from: 29a0bbf43b
29a0bbf43b