Include version and build information in binary and output to aid in debugging

Change-Id: I394069317390d22ee92523cada842b00487c7c9e

Author: Cypher1

ibis/Cargo.lock

@@ -5,6 +5,7 @@ edition = "2021"
 description = "Ibis - a knowledge engine for type checking asynchronously communicating modules"
 repository = "https://github.com/project-oak/arcsjs-provable"
 license = "See LICENSE"
+build = "build.rs"
 
 [lib]
 name = "ibis"
@@ -20,6 +21,7 @@ dot = [] # Support the generation of dot graphs (for debugging)
 wasm = [ "wasm-bindgen", "console_error_panic_hook" ] # Support wasm-bindgen API
 
 [dependencies]
+shadow-rs = { version = "0.9", default-features = false }
 nom = "7.1.0"
 paste = "1.0.6"
 crepe = "0.1.6"
@@ -34,6 +36,9 @@ console_error_panic_hook = { version = "0.1.7", optional = true }
 pretty_assertions = "1.0.0"
 criterion = { version = "0.3", features = ["html_reports"] }
 
+[build-dependencies]
+shadow-rs = "0.9"
+
 [profile.release]
 opt-level = "z"
 lto = "fat"

ibis/Cargo.toml

@@ -0,0 +1,3 @@
+fn main() -> shadow_rs::SdResult<()> {
+    shadow_rs::new()
+}

ibis/build.rs

@@ -10,6 +10,7 @@ use ibis::IbisError;
 use std::io::Read;
 
 fn main() -> Result<(), IbisError> {
+    ibis::print_info();
     let mut data = String::new();
     std::io::stdin()
         .read_to_string(&mut data)