[CP-SAT] add float value to the CpSolver and solution callback classes

[CP-SAT] add float value to the CpSolver and solution callback classes #2184