CheckBufferOverrun: Removed old for-loop handling. This is handled through ValueFlow from now on.
travis: replace kernel check with clang check.

Check clang instead of kernel, which is a lot faster.
Make clang check failure fatal to the build.
travis: add -DCHECK_INTERNAL to the VERIFY=1 job to automatically fetch issues like #5869 via travis, check clang with --exception-handling
travis: make clang check sensitive to internal cppcheck errors.