Add specs for RFC 4231 HMAC test vectors