added travis-ci setting