Updated version number
Version 0.7.2 release
Also added the certificates for the live pilot cards
Merge ../idemix_multos

Conflicts:
	src/IRMAcard.c
Cleanup refactor
Fixed #1