Vagrant and Puppet configuration for Configuration Management Workshop in March 2013