fix travis cs badge