Base repo for Puppet dev in Debian 7.0 Vagrant boxes