Add svn2git.migrate script used to migrate from svn inofs.sf.net to git github