Pretty prints PIR expressions from Coq to textual format accepted by the PIR compiler.

Tested with coq 8.18

Uses libraries:

• coq-simple-io (https://github.com/Lysxia/coq-simple-io)

Resources https://plutus.cardano.intersectmbo.org/docs/using-plutus-tx/cli-plutus