Vagrantfiles for the various servers