Use extensions to handle multiple solvers

[matbesancon]

https://julialang.org/blog/2023/04/julia-1.9-highlights/#package_extensions

This will let us get tolerances, solutions, etc for multiple MOI solvers without depending on them