Remove support for Solver::Options::solver_log. This is not really used and if needed can be implemented in user code. Change-Id: I56328d51c9d3788f90c751ff9c3a5937989f6ee0