Vagrantfile for devbox