Add --flush option to flush all output#1712

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

karkhaz:kk-flush-allkarkhaz/cbmc:kk-flush-allCopy head branch name to clipboard