C library: Refine and improve stdio models#8043

tautschnig wants to merge 4 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:bugfixes/stdiotautschnig/cbmc:bugfixes/stdioCopy head branch name to clipboard