If the new option --baseline-stats-path PATH_TO_JSON_FILE is given, read failure information from there.

Tests that already are marked as failed there will be specially marked as baseline failures in the doctest report.

If there are only baseline failures, no new failures, then sage -t will exit with status code 0.

Follow-ups:

• Record and handle more detailed failure info (failure counts?) in the json file.
• sage -t : Write report in JUnitXML format #33232: sage -t: Write report in JUnitXML format
• use in patchbot: Do not report failures already in the base version as ticket failures sage-patchbot#154
• GH Actions: Create daily integration branch #33222: use in new integration workflow

CC: @fchapoton @vbraun @kliem @seblabbe @tobiasdiez @orlitzky @kiwifb @antonio-rojas @sagetrac-tmonteil @videlec

Component: doctest framework

Author: Matthias Koeppe

Branch: 180cc67

Reviewer: François Bissey

Issue created by migration from https://trac.sagemath.org/ticket/33233