[misc] add misc scripts to make Vagrant do what we like