add Travis CI badge [skip ci]