add travis-CI settings file