Update Travis-CI instructions