Formula 1 technical chiefs have officially agreed to ban double diffusers from the start of next year.