Added puppet provisioner for debian