message: tweak failure output a little
diff: @@ -164,11 +164,11 @@ pub fn run_tests(config: Config) -> Result<()> {
  if !failures.is_empty() {
  for (path, miri, revision, errors, stderr) in &failures {
  eprintln!();
  - eprint!("{}", path.display().to_string().underline());
  + eprint!("{}", path.display().to_string().underline().bold());
  if !revision.is_empty() {
  eprint!(" (revision `{}`)", revision);
  }
  - eprint!(" {}", "FAILED".red());
  + eprint!(" {}", "FAILED:".red().bold());
  eprintln!();
  eprintln!("command: {:?}", miri);
  eprintln!();
  @@ -223,7 +223,7 @@ pub fn run_tests(config: Config) -> Result<()> {
  eprintln!("{}", stderr);
  eprintln!();
  }
  - eprintln!("{}", "failures:".red().underline());
  + eprintln!("{}", "FAILURES:".red().underline().bold());
  for (path, _miri, _revision, _errors, _stderr) in &failures {
  eprintln!(" {}", path.display());
  }
  