OKsolver-2002

• The OKsolver (more precisely, "OKsolver-2002") is now part of the OKlibrary.

• Documentation on using the OKsolver-2002 within the OKlibrary is provided here (as part of the documentation of the OKlibrary).