Migrate everything from internal SVN

Our internal SVN repo is mostly obsolete, and should get migrated to some combination of git and wiki.