Merge branch 'readme_update' into 'main'

Readme and docs update

See merge request tum-cps/pytupli!80