Update Travis-CI config to prefer VCS checkouts.

This should work around issues with GitHub API limits and Travis' IP
addresses.