Update docs for goto-programs#2783

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/docs/goto-programsmowton/cbmc:smowton/docs/goto-programCopy head branch name to clipboard