Add travis-ci setting