Disable colour in travis diff display#1522

thk123 merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

reuk:reuk/clang-format-plain-diffreuk/cbmc:reuk/clang-format-plain-diffCopy head branch name to clipboard