[doc fix] Really fix the travis-ci badge this time.