Fix message rendering when output is redirected

We have to manually trip the ansi escape formatting.

kani-driver/src/call_cargo.rs

@@ -198,7 +198,7 @@ impl KaniSession {
                             print_msg(&msg.message, strip_color)?;
                             let _ = cargo_process.wait();
                             return Err(anyhow::Error::msg(msg.message).context(format!(
-                                "Failed to compile {} due to an internal compiler error.",
+                                "Failed to compile `{}` due to an internal compiler error.",
                                 msg.target.name
                             )));
                         }

tests/cargo-kani/asm/global_error/doesnt_call_crate_with_global_asm.expected

@@ -1,3 +1 @@
 error: Crate crate_with_global_asm contains global ASM, which is not supported by Kani. Rerun with `--enable-unstable --ignore-global-asm` to suppress this error (**Verification results may be impacted**).
-error: could not compile `crate_with_global_asm` due to previous error
-Error: cargo exited with status exit status: 101

tests/cargo-kani/stubbing-do-not-resolve/harness.expected

@@ -2,4 +2,3 @@ error: unable to resolve function/method: crate::other_crate2::mock
 error: unable to resolve function/method: super::other_crate2::mock
 error: unable to resolve function/method: self::other_crate2::mock
 error: unable to resolve function/method: other_crate1::mock
-error: could not compile `stubbing-do-not-resolve` due to 4 previous errors

tests/cargo-ui/assess-error/compilation-error/expected

@@ -1,4 +1,2 @@
-error: Failed to assess project.
-
 Caused by:\
-    Found 3 compilation errors.
+    Failed to execute cargo (exit status: 101). Found 3 compilation errors

tests/cargo-ui/function-stubbing-trait-mismatch/main.expected

@@ -1,3 +1,2 @@
 error: `&str` doesn't implement `DoIt`. The function `foo` cannot be stubbed by `bar` due to generic bounds not being met.
 error: `&str` doesn't implement `std::cmp::PartialEq`. The function `foo` cannot be stubbed by `bar` due to generic bounds not being met.
-error: could not compile `function-stubbing-trait-mismatch` due to 2 previous errors