Used truncated SHA256 for hashing
Now use the correct instruction for addressing the SHA256 function
Use plain SHA-256
Adjust assembly code to the new sizes
Adjust version number for cards with SHA-256
Adjust sizes depending on SIZE_H, either directly or through constraints
Adjusted computations such that they should work correctly with the new sizes
Merge branch 'master' into sha256

Conflicts:
	src/idemix.c
Properly clean the stack
Correct computation of vPrime, move cleanup for vHat to top
Updated memory use counts
Added certificates for LIVE cards
Merge branch 'master' into sha256
First start in moving to spec compliance
Merge branch 'sha256' of github.com:credentials/idemix_multos into sha256
Merge branch 'master' into sha256
Drop TEST since there are no test vectors for this version
Work around shortcommings of the simulator
Solved errors in computations of vPrime and vHat
Merge branch 'sha256' into spec