add our travis-ci badge