travis config file editing