Use files.vagrantup.com instead of files.travis-ci.org

Just to see if it works.

files.tavis-ci.org seems to be down at the moment.