Update travis config

Add coverity support.