✅: Support Python Validation

[jossmoff]

Language Proposal

ESBMC has started a python frontend so we should add support to start validation of Python files

Frontend Behaviour

polywit python BENCHMARK --witness witness

FileProcessor Implementation

Parse python files to look for nondet points. This can be something like nondet_x() calls until there is a common support.

WitnessProcessor Implementation

Similar to Java front end.

TestHarness Implementation

Create a testharness.py with the implementations for the nondet_x functions in.

Additional Context

ESBMC python PRs https://github.com/esbmc/esbmc/pulls?q=is%3Apr+python