Merge pull request #42 from bchretien/master

Allow SolverState to be modified in the callback.
Fix print for Solver and SolverState.
Add unit test for SolverState.