Android application to manage credentials on an IRMA card.