Add tinyxml repo as a subrepo