Adding travis-ci settings