Documentation update. Update the documentation for Solver::Summary in solver.h Also minor typo fixes in solving.rst. Change-Id: Id9363940ef843b7ce92013fdbb866168e0c5705f