Actually add travis file