update vagrantfile for docker