[Fix Code Mode] Directory Processing Stats Files

[Yiannis128]

When processing entire directories, each file should be accompanied by a file of the same name but with the added suffix esbmc-ai.stats.txt, this should be created optionally (from config) to display the following stats in JSON:

{
    "file_name": "file.c",
    "max_attempts": 5,
    "llm": {
        "temperature": 1.0,
        "name": "gpt-3.5-turbo",
        "max_tokens": 16000,
    },
    "attempts": [
        {
            "attempt": 0,
            "esbmc_time": 100.20,
            "llm_time": 5.3,
            "result": "VERIFICATION FAILED",
            "tokens": 3041
        },
        {
            "attempt": 1,
            "esbmc_time": 120.56,
            "llm_time": 8.87,
            "result": "VERIFICATION SUCCESSFUL"
            "tokens": 8203
        }
    ]
}

Requirements

• [Fix Code Mode] Implement directory processing #103