Update old CVS URL to GitHub.