grcard2-set-{adm,super}-hex commands implemented It appears that GrcardSIM2 cards allow arbitrary 64-bit keys for ADM and SUPER ADM, not necessarily consisting of ASCII digits like the specs require for standard PIN and PUK, and pySim-prog.py in fact sets the ADM key to 4444444444444444 in hex by default, which is not an ASCII digit string. If the cards allow such keys, we need to support them too.

syntax: regexp

\.[oa]$

^misc/fc-pcsc-atr$
^misc/fc-pcsc-list$

^simtool/fc-simtool$

^uicc/fc-uicc-tool$