Dump-C: support struct/union types without tags#7162

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:bugfixes/7158-dump-ctautschnig/cbmc:bugfixes/7158-dump-cCopy head branch name to clipboard