Add another OpenPGP card vendor.
To ease these things we should provide an API to read this list from GnuPG.