Add the travis file so the bot can let it pass.