travis-ci setting added