Updated travis-ci badge