Release 0.6.3
Now really fixed #23
Release 0.6.4
Merge branch 'master' into sha256

Conflicts:
	src/idemix.c