Add some travis magic.