Add coverity support to travis