Replace ThunderboltTimeIntegrator with OrdinaryDiffEqCore.ODEIntegrator

[termi-official]

All of our problems can also be integrated with a OrdinaryDiffEqCore.ODEIntegrator instead of our stripped down ThunderboltTimeIntegrator. The difficult part of this issue is the integration of OrdinaryDiffEqCore.ODEIntegrator with OS.OperatorSplittingIntegrator, which requires quite large changes to the latter and an inversion of the most of the time stepping logic in the operator splitting module.

To be specific as first step it is necessary to hoist

Thunderbolt.jl/src/solver/time/time_integrator.jl

Line 30 in 5862065

synchronizer::syncType

and

Thunderbolt.jl/src/solver/time/time_integrator.jl

Line 24 in 5862065

indexset::indexSetType

into OS.OperatorSplittingIntegrator.