Added the verification process (ProveCL) of Idemix to protocol_ibm12.py