Merge branch 'next' into new_ide

# Conflicts:
#	examples/logic/einstein/why3session.xml
#	examples/prover/Unification/why3session.xml

examples/nightly-bench.sh

@@ -144,9 +144,9 @@ cp $OUT $REPORTDIR/regtests-$DATE
 
 echo "Ending time (UTC): "`date --utc +%H:%M` >> $REPORT
 
-# 3-line summary
+# 3-line summary + 4 lines check realizations
 echo "" >> $REPORT
-tail -3 $OUT >> $REPORT
+tail -7 $OUT >> $REPORT
 echo "" >> $REPORT
 
 # output the diff against previous run