Remove support for Solver::Options::solver_log.

This is not really used and if needed can be implemented
in user code.

Change-Id: I56328d51c9d3788f90c751ff9c3a5937989f6ee0
5 files changed