Update badge from Travis CI.