Gittrac #3532:  We now only try to read the braindump.txt file if
metrics reporting is enabled; failure to read braindump.txt is
now strictness level 2, not 1; a few other cleanups.