Add Coverity checks on branch coverity with Travis CI