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.