Creating a simple Jenkins box on Ubuntu 12.04 with Vagrant and Puppet