add the travis-ci setting