subrepo for Tools/CodeCheck for mana-core