Update documentation.

The text describing the Solver base class must easily be 15 years old.
I can see 3 young Germans writing it, accent, language problems, and all.

This PR simply updates the text in many places. Nothing as far as content is concerned.