Open source smart card tools and middleware. PKCS#11/MiniDriver/Tokend