doc: move doxgen config from devel/ to doc/