Rearchitect var args support (making it actually work) [blocks: #4329]#4238

kroening merged 4 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:var-argstautschnig/cbmc:var-argsCopy head branch name to clipboard