Add doxyfiles for miscellaneous sets of markdown files

* doc/ADR
* doc/API
* doc/assets
* doc/cprover-manual

Author: Mark R. Tuttle