Actually add the travis file!