Updated the user documentation now that we have two more ODE solvers.