change travis badge format