Improve linking error output for `#[no_std]` crates#4126

carolynzech merged 7 commits intomodel-checking:mainmodel-checking/kani:mainfrom

AlexanderPortland:no-std-errAlexanderPortland/kani:no-std-errCopy head branch name to clipboard