Remove dummy_impl and dummy_command from SOLVER_INPUT

This forced users of the solver to provide them, even if they didn't
care about diagnostics. Now, dummy_impl is an optional argument to
do_solve and dummy_command is returned when needed automatically.