Added Debian 7.1 to AWS
Using puppetlabs.com for the apt sources