retrying the travis-CI badge