Test if uploadProperty exists before using it
Correct link to credentials_idemix
Warn users to install idemix_library