add travis setting
jenkins badge -> travis badge