Make the cvs2git instructions more complete.