Drop subversion

Hopefully I won't have to touch it again for a long time.