catch by const ref instead of by value or non-const ref#1560

smowton merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

NathanJPhillips:bugfix/catch-by-const-refNathanJPhillips/cbmc:bugfix/catch-by-const-refCopy head branch name to clipboard