Debian 7.5 -> 7.6

updated names, URLs and checksums
Merge pull request #239 from fadenb/debian_wheezy_7.6

Switch to newest Debian release (7.5 -> 7.6)
primitive script to install current puppet version
added debian-6.0.8-amd64-puppet
added debian-7.2.0-amd64-puppet
added debian-7.3.0-amd64-puppet
Script to install mptcp capable kernel from multipath-tcp.org repo
added debian-7.3.0-amd64_mptcp-puppet
added ubuntu-12.04-amd64-puppet
added ubuntu-12.04-amd64_mptcp-puppet
New templates for puppetized Trusty boxes
Puppetize Trusty templates
Make sure puppet agent is enabled
Use automagically located mirror from official list
Add some basic tools to the box
WIP! set puppet to a non broken version
Disable kernel header cleanup

dkms may try to rebuild virtualbox modules and will fail if the headers
are missing. Might not be the correct solution for this problem but
works for now.