added travis.ci badge