Add Doxygen annotations to the C API