Remove $wgSubversionProxy

Bug: 52694
Change-Id: If0cef953d5ad26319e78e9cd52961f3b4747db2f