add a badge of travis-ci