update buggy travis CI badge