Add two-type tableau support and Explicit/Implicit Tableaus sublibraries

[ChrisRackauckas-Claude]

Summary

Based on top of #3282 (DiffEqDevTools migration). Three commits:

1. Two-type ExplicitRKTableau

• ExplicitRKTableau struct gets separate CType for time-related c coefficients
• constructDormandPrince(::Type{T}, ::Type{T_time}) and constructTsit5ExplicitRK accept second type parameter
• ExplicitRKConstantCache converts c to typeof(dt) as safety net for external tableaux

2. OrdinaryDiffEqExplicitTableaus sublibrary

• 87 explicit RK tableau constructors moved from DiffEqDevTools
• All accept (::Type{T}, ::Type{T_time}) two-type signatures
• Co-located only — not a dependency of the solver

3. OrdinaryDiffEqImplicitTableaus sublibrary

• 18 implicit RK tableau constructors moved from DiffEqDevTools
• ImplicitRKTableau struct gets separate CType
• Same two-type signature pattern

Prepares for AutoSpecialize as default ODEFunction constructor (SciMLBase v3).

Test plan

• Local tests pass with forced AutoSpecialize
• Sublibrary unit tests pass
• CI

Supersedes #3281.

🤖 Generated with Claude Code

[ChrisRackauckas-Claude]

New commit: Convert remaining single-type tableaus to two-type form

Added commit that converts the last 3 single-type tableaus to {T, T2}:

• SDIRK22Tableau{T} → {T, T2} — a (gamma diagonal) is now T2 (time-type), α/β remain T (state-type)
• Rosenbrock23Tableau{T} → {T, T2} — d (gamma) is now T2, c₃₂ remains T
• Rosenbrock32Tableau{T} → {T, T2} — same as Rosenbrock23
• Updated Rosenbrock23ConstantCache and Rosenbrock32ConstantCache struct definitions to {T, T2, ...}
• Updated all alg_cache call sites to pass constvalue(tTypeNoUnits) as second argument

Also added BREAKING.md documenting all two-type tableau changes for v7.

All other existing {T, T2} tableaus (SDIRK, Rosenbrock/Rodas, FIRK, Verner, PDIRK, QPRK) already had two type parameters in their struct definitions — no changes needed for those.