for the Spanish national id smartcard (DNIe). Adding the opensc dnie driver. svn path=/nixpkgs/trunk/; revision=19325