Use run instead of popen to run ar [blocks: #3867]#3702

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:no-popentautschnig/cbmc:no-popenCopy head branch name to clipboard