Extract svn-dav stuff into svn-dav addon.