#KJ-126 Prepare an example for paper using multi-threading.
1. CorrectedWaitNotifyQueue to be truly a queue, not a stack. This don't change the number of solutions of search.
2. Added one more transitions set: transition-sync, kjkompile.sh mode: --threading-sync. In this mode only rules related to join/synchronized/wait are transitions. Good if our program uses correct synchronized blocks.