Add Debian 7.2 / wheezy codename support.

Signed-off-by: Laurent Vallar <val@zbla.net>

Updated Debian 7: 7.2 released, cf. http://www.debian.org/News/2013/20131012