Use Doxygen to generate documentation for C API. #6
Description
Most of the work is already done here, i.e. most of the relevant files are commented already.
Still left to do:
- fix theme of HTML output for Doxygen
- integrate this with the rest of the documentation.