Improved Boogie Process Error Reporting#581

ArquintL wants to merge 3 commits intomasterviperproject/carbon:masterfrom

handle-io-exceptionviperproject/carbon:handle-io-exceptionCopy head branch name to clipboard