Rename mediawiki-core-docgen to mediawiki-core-doxygen-publish

Change-Id: I52cf513d890923634043efd07bdaf1e3f4506013