Doxygen: moving completely out of Core repository