shell scripts to set up Vagrant development environments