added a quick solution for inserting comments. Inserted comments in HMAC
Merge branch 'master' of github.com:GaloisInc/hacrypto