Add support to cdylib, dylib and staticlib#2039

celinval merged 5 commits intomodel-checking:mainmodel-checking/kani:mainfrom

celinval:issue-1915-cdylibcelinval/kani-dev:issue-1915-cdylibCopy head branch name to clipboard