git svn: add an option to recode pathnames