genindex.sh: keep a gitproj.list file in addition to gitweb.list