Remove modified svnkit library from subversion plugin.

Currently the subversion plugin is using a modified version of the svnkit library. This PR switches to the default svnkit in order to make svnkit upgrading easier.
Would be clearer to choose a distinct (simple) name.