Added the settings of travis-ci.