Add nodepool_prod.pp to documentation

The nodepool_prod.pp file has a lot of valuable information for
the deployment of nodepool, add this to list of puppet files
in documentation for configuration.

Change-Id: I33401f5b4baa70305b9091bc08e962cb222230ff