Address PR comments

kani-compiler/src/codegen_cprover_gotoc/archive.rs

@@ -8,6 +8,9 @@
 //! Creation of ar archives like for the lib and staticlib crate type
 //! We now call the ArchiveBuilder directly, so we don't bother trying to fit into the rustc's
 //! `ArchiveBuilder`.
+//! Note that once we update to a version newer than 2022-12-04 we should be able to remove the
+//! logic here and use the compiler ArArchiveBuilder introduced here:
+//! <https://github.com/rust-lang/rust/pull/97485>
 
 use rustc_session::Session;
 use std::fs::File;

kani-compiler/src/codegen_cprover_gotoc/compiler_interface.rs

@@ -213,7 +213,6 @@ impl CodegenBackend for GotocCodegenBackend {
         let requested_crate_types = sess.crate_types();
         if !requested_crate_types.contains(&CrateType::Rlib) {
             // Quit successfully if we don't need an `rlib`:
-            println!("No need for rlib");
             return Ok(());
         }