use Travis CI
add Travis CI badge