Update documentation. 1. Update the documentation to be Sphinx friendly. 2. Remove dead fields in Solver::Summary. a. Solver::Summary::num_eliminate_blocks_given. b. Solver::Summary::num_eliminate_blocks_used. Change-Id: I43e0070c88abe3bf285d91e6c7524f3d887deb33