Re-add Travis CI badge