Eliminated 'publishReport' option in addProbe().

That was redundant with the pushToGitHub option.
Minor fixes.