Updated travis info: