docs: add Travis CI badge