Build: move documentation-related make targets to doc subdirectory

... including annotated sources, API documentation, and ABI compatibility
check, to declutter the top-level directory and logically group
documentation-related stuff. Also, consistently separate targets for building
and uploading HTML documentation components.