EasySyn++: A Tool for Automatic Synthesis of Stochastic Local Search Algorithms