add CI with Travis