Added Debian Wheezy 7.1 boxes
Merging in change.
Merge branch 'javiyt-master'