updated travis.ci badge