include travis-ci badge