Rust

Add Python-bindings for parsing module #710

Job	Run time
Test BMC Tool (stable, bitwuzla)	2m 15s
Test E-Graph Rewrite Condition Synthesizer (stable)	2m 41s
Test BMC Tool (stable, yices2)	1m 5s
Unit Tests (stable)	2m 7s
Test SMT Simplifier (stable)	37s
Test Simulator Tool (stable)	2m 55s
Check Semantic Versioning of Patronus	30s
Test Python Bindings (stable, 3.10)	46s
Check Formatting	9s
	13m 5s

Provide feedback