Changed version number of Idemix to match the version of the published library.