goto-cl: /Fo can set an output directory#2673

kroening merged 3 commits intodevelopdiffblue/cbmc:developfrom

goto-cl-Fodiffblue/cbmc:goto-cl-FoCopy head branch name to clipboard