projlist.cgi: use new gitproj.list for increased efficiency