Add the HMAC and Wycheproof bits for HMAC while at it.
This allows for checking the SHA-512 implementation against Wycheproof via the HMAC tests.