CP 2022 - SBPS code

--sbps on tells the solver to use Solution-based phase saving (SBPS) value selection heuristic for all variables (eager integers, lazy integers, SAT/boolean).

Note that this code is now merged in the original Chuffed repo (see chuffed#77).