centralize file downloads in vagrantfile; fix replset definition