GUI tool for administration of PKCS#11 enabled devices