This is a temporary wrapper that can be used to compiler rust into gotoc. This
binary should not be used on its own and it should be used via kani or
cargo-kani commands.
This binary can be built like a regular cargo package. There is no need to bootstrap it anymore.