Remove dash from SHA-3 hash algorithms (#871)

The official name of the hash algorithms does not contain the dash.

Author: stevespringett

schema/cryptography-defs.json

@@ -323,7 +323,7 @@
       ],
       "variant": [
         {
-          "pattern": "SHA-3-(224|256|384|512)",
+          "pattern": "SHA3-(224|256|384|512)",
           "primitive": "hash"
         },
         {