migrate svn to git
our svn server is well, svn. I suggest we remove the old svn projects that are already migrated to git, and migrate the remaining projects to git.
The current svn projects are here:
https://svn.torproject.org/svn/
The only tricky one I see is website/.