External kwarg to TMJets solver

[mforets]

With this PR we can call TMJets with an external solver from TaylorModels using the external=true flag. Pass a solver_name to specify using a function different than validated_integ.

cc: @UzielLinares

[mforets]

@UzielLinares, @lbenet this is ready from my side. see an example notebook here. more proper docs and testing can come in a follow up pr.

note that you can pass

• external=true (required to use a solver different than the one in src/Algorithms/TMJets/reach.jl
• solver_name (optional) if you want to pass a function name which is different than TaylorModels.validated_integ
• solver_kwargs (optional) if you want to pass additional keyword arguments to the solver function

[ulinares]

Looks great! I'll check out.

[lbenet]

Thanks a lot!