git-svn: replace .rev_db with a more space-efficient .rev_map format