[doc] Fix travis-ci badge