Gittrac #3532:  Finished up the metrics information in the DAGMan
section of the manual.