Added Debian Wheezy 7.1 boxes

Added Debian Wheezy 7.1 boxes english and spanish versions, with Puppet