Remove some long-since-gone SVN stuff

Change-Id: I7ea79b2f4904db899c9c730720662371623b153f