Add Puppet as a supported CentOS provisioner

Debian support is pending, but CentOS is a good start.
Also updated comments in provisioner.sh, in preparation for standardizing
other shell provisioner scripts.