cvs2git: Make the --dumpfile option optional.