Pipe minimizer termination messages to Solver::Summary. All minimizer termination messages are now available as Solver::Summary::error. This is part of the ongoing refactoring or Change-Id: I4514c3c042645bbd1471bcde9bd3dbf81d9ee8b0