Now that we're using GitHub, rename the cvs page to the git page, with
updated links.