Add badge of travis ci