update Travis-CI file