Use Python Elementtree to get project names from old repo manifest