Fixed typo in irma-prover add-on
Added class to interface ABC4Trust in irma-prover