Merge commit 'c14b69790a62aad89fcc471cde482923dfe57f1e' into cluster

This is the last commit before there are more conflicts.

src/thread.cpp

@@ -172,6 +172,7 @@ void ThreadPool::clear() {
     main_manager()->callsCnt                 = 0;
     main_manager()->bestPreviousScore        = VALUE_INFINITE;
     main_manager()->bestPreviousAverageScore = VALUE_INFINITE;
+    main_manager()->originalPly              = -1;
     main_manager()->previousTimeReduction    = 1.0;
     main_manager()->tm.clear();
 }