update vagrantfile
update docker.mk