add a badge of Travis-CI in README.md