Fixes #5128: change debian7 url

http://www.rudder-project.org/redmine/issues/5128
Do we really need puppet in this box?