Add Vagrantfile, and provisioning scripts that set up a working 5-node cluster.

The provisioning scripts are also used on Travis CI.