Re: Fix git repo rendering

[Chris Warburton]

Scratch that; we can avoid rendering anything from the git repos. They
can take care of that themselves.

Instead, all we need to care about is having a redirect in place for
each repo. We'll do the following:

 - Generate a projects/repos index page with links to each repo page.
 - These links should include one to the relative path (/git/repo) and
   one to the IPFS version; for now, we can just use ipfs.io.
 - For the IPFS site, include a /git repo with redirects to
   /projects/repos/foo.html: one from /git/foo and one from /git/foo.git

There's no need to worry about breaking URLs on the IPFS site; there are
no links in the wild pointing to them.