Remove explicit calls to svn

There is no subversion anymore. Since git doesn't need a .git directory
*everywhere*, the export isn't strictly necessary anymore, either.