doc: Updated CVS references
We moved our stuff from CVS/SourceForge to Git/GitHub.
tools: Update CVS references
We moved our stuff from CVS/SourceForge to Git/GitHub.