Print Rustc unparsed messages in cargo kani (rust-lang#2193)

In some cases, like `-Zunpretty=expanded`, Rustc will print information to the stdout that is not in json format. For those cases, we should print the message as is.

Author: celinval

kani-driver/src/call_cargo.rs

@@ -202,8 +202,18 @@ impl KaniSession {
                     | Message::BuildFinished(_) => {
                         // do nothing
                     }
+                    Message::TextLine(msg) => {
+                        if !self.args.quiet {
+                            println!("{msg}");
+                        }
+                    }
+
                     // Non-exhaustive enum.
-                    _ => {}
+                    _ => {
+                        if !self.args.quiet {
+                            println!("{message:?}");
+                        }
+                    }
                 }
             }
             let status = cargo_process.wait()?;