tweak
add a badge of Travis CI