NixOS: patch binaries if the dynamic linker is a stub#4413

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

GrigorenkoPV:stub-ldGrigorenkoPV/kani:stub-ldCopy head branch name to clipboard