[Feature] Implement an internal TESTAR logic to detect duplicate fail Verdicts

[ferpasri]

Implement a feature mechanism that enables users to decide if TESTAR should report or ignore duplicate fail Verdicts.

Current status

Right now, some protocols use an in-memory list to avoid reporting the same state Verdict multiple times per test run:

TESTAR_dev/testar/resources/settings/02_webdriver_parabank/Protocol_02_webdriver_parabank.java

Lines 62 to 63 in 469f784

	// This list tracks the detected erroneous verdicts to avoid duplicates
	private List<String> listOfDetectedErroneousVerdicts = new ArrayList<>();

Future implementation

• The discovered failure Verdicts should be persistent between runs
• Users can decide whether to enable/disable this feature
• Users can manage the existing saved Verdicts to delete them, to have clear test runs