add travis CI definition