Adding coverity information to travis-ci

Just following the instructions on https://scan.coverity.com/travis_ci