Update mention of Subversion in the FAQ.

If I grepped correctly, this was the last outdated place.