Updated Vagrantfile to use new Docker repo instead of Ubuntu PPA