subversion17 1.7.13

* Update to latest 1.7 release to avoid unavailable mirrors.

Closes #240.
Closes #247.