Add more example relations: pedersen commitment equality and elgamal encryption subtraction#97

mmaker merged 4 commits intomainsigma-rs/sigma-proofs:mainfrom

morru/tests-alinsigma-rs/sigma-proofs:morru/tests-alinCopy head branch name to clipboard