cvs2git: use CVS (rather than RCS) to extract the different