Better instructions how to install Idemix.