Fix linter and doxygen checks on travis#1207

peterschrammel merged 1 commit intodiffblue:test-gen-supportdiffblue/cbmc:test-gen-supportfrom

peterschrammel:debug-run-diffpeterschrammel/cbmc:debug-run-diffCopy head branch name to clipboard