Update CI docs (Jenkins->Travis)