Vagrantfile: install puppet