update vagrant version: usually too old in distributions, get it from
-rw-r--r-- 3136 README.md
drwxr-xr-x - docs
-rw-r--r-- 488 menu.txt