* add a badge of Travis CI.