Fix std overrides when crate has extern std#2989

tautschnig merged 2 commits intomodel-checking:mainmodel-checking/kani:mainfrom

celinval:issue-2187-no-stdcelinval/kani-dev:issue-2187-no-stdCopy head branch name to clipboard