Update Doxyfile to 1.8.3
Add rules c_doc, clean-c_doc, clean-all to Makefile.sfmt