SMT2 Incremental: Implement push/pop interface#8908

tautschnig wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:fix-8073-smt2-incr-push-poptautschnig/cbmc:fix-8073-smt2-incr-push-popCopy head branch name to clipboard