Rust

Add Python-bindings for parsing module #718

Job	Run time
Unit Tests (stable)	1m 2s
Test BMC Tool (stable, bitwuzla)	2m 7s
Test BMC Tool (stable, yices2)	1m 27s
Test E-Graph Rewrite Condition Synthesizer (stable)	2m 26s
Test SMT Simplifier (stable)	47s
Test Simulator Tool (stable)	2m 56s
Test Python Bindings (stable, 3.10)	54s
Check Formatting	5s
Check Semantic Versioning of Patronus	35s
	12m 19s

Provide feedback