adjusting the travis badge