Vagrant files for devbox.