Removed IRMA kludge; no longer needed because of fix in SpringCard firmware for Pivacy
Merge branch 'master' of https://github.com/credentials/silvia