Add Travis-CI+Coverity config
Fix benign clang warning