Add coverity scan to travis-ci config.