Added certificates for pilot cards
Merge ../idemix_multos
Cleanup and conversion into IRMAcard, following naming from the specification