Avoid zombie and print diagnostic output if run/execve fails#1245

kroening merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:run-diagnostictautschnig/cbmc:run-diagnosticCopy head branch name to clipboard