added coverity support with travis