Fix SVN credentials

Created by: slifty

SVN really messed with the way credentials are cached -- specifically, they aren't any more (at least, it seems difficult to do without user interaction, making it tough for vagrant).

Luckily SVN still knows how to read cached credentials stored in a text file. This means we'll need to generate SVN credential information as part of the provisioning script.