Java: Add SHA512 to the crypto whitelist.

Author: aschackmull

java/ql/src/semmle/code/java/security/Encryption.qll

@@ -120,6 +120,7 @@ string algorithmBlacklistRegex() {
 private string algorithmWhitelist() {
   result = "RSA" or
   result = "SHA256" or
+  result = "SHA512" or
   result = "CCM" or
   result = "GCM" or
   result = "AES" or