Automated: Use prebuilt idemixgen binaries

[davidkel]

Currently the idemix repo is checked out and built to get the binary, however binaries are now available so could move to just downloading a binary instead