Removed CVS-related files which are not needed anymore in git.