Adding the travis badge