ESBMC: Implement different types of verifier output

[Yiannis128]

Added the following option in JSON config:

"esbmc_output_type": "vp"

ESBMC output currently is shown as a whole, which could be wasteful depending on the context. Add the following f-string variables in the conversation parsing:

• error_line - Show the line that the error has occurred on only.
• error_type - Show the error type only. This would be the text that dynamic prompt uses. So the code could be reused from there.

[Yiannis128]

Not closing this issue because the two features from the checkboxes have not been implemented yet.