Reformat sources with clang-format#1324

thk123 merged 9 commits intodiffblue:developdiffblue/cbmc:developfrom

reuk:reuk/clang-formatreuk/cbmc:reuk/clang-formatCopy head branch name to clipboard