Add coverity support for travis ci