Improve SolverState print for parameters.
solver-state: make string parameters stand out when printing.
solver.cc: test parameter printing.
solver.cc: use existing << operator for parameter printing.
function-polynomial: add some more code coverage.
filters: check some exceptions in tests.
solver-factory: add test.
Fix unused variable in test.