This also makes the diff from Doxyfile to Doxyfile_internal more readable. Also, put public API docs into doxy/html-api/, private stuff into doxy/html-internal/.