travis badge formatting