added travis-ci tag