Checkflip++: a Knowledge Acquisition Tool for the Fuzzy Constraints-based *flip++ Scheduling Library