Add more special Solve.* methods

[joschmitt]

Add some special Solve.kernel methods for types coming from flint or non-domain rings. All of this is more or less taken from HeckeMiscMatrix.jl.
I add tests in the next days; I just wanted to push this to ask about some things before I forget them.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (644d981) 84.36% compared to head (ebee84a) 84.41%.
Report is 1 commits behind head on master.

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #1668      +/-   ##
==========================================
+ Coverage   84.36%   84.41%   +0.04%     
==========================================
  Files          93       93              
  Lines       37159    37234      +75     
==========================================
+ Hits        31350    31431      +81     
+ Misses       5809     5803       -6     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[joschmitt]

Good to go, but needs Nemocas/AbstractAlgebra.jl#1598 .
(I will add more nullspaces calling C code for the finite field types at a later point. The first objective is to get the new interface into OSCAR.)

TODO (so I still know this on Monday):

• bump AA once Further solving related adjustments AbstractAlgebra.jl#1598 is merged and registered
• maybe change the default side of eigenspace and eigenspaces too for constistency. Would make this PR a (tiny) breaking change, but then we would have (a chance to have) all the breaking changes at once in OSCAR.