Add a proper travis file