Add missing Travis config