Learning a Generic Value-Selection Heuristic Inside a Constraint Programming Solver