add the travis ci badge