Move unwindset.{h,cpp} to goto-programs#8645

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:move-unwindsetttautschnig/cbmc:move-unwindsettCopy head branch name to clipboard