Removed function svn-release, now in a dedicated repository