Refactor LearnedConstraintDeletionStrategy management
The way LearnedConstraintDeletionStrategy strategy design pattern is implemented currently is not satisfactory: each strategy is created once in each solver. Only one should be instantiated.
We need to find a better way to handle both the timers required for LCDS and the strategies themselves.