Travis CI: revert to download via SVN, although the tarball method works just fine in Vagrant