subrepo for Tools/AtlasDoxygen for mana-core