Minor updates to correct some req file parse errors in the presence of
unknown algorithms (i.e., SHA-224 on certain devices).
Merge branch 'master' of https://github.com/GaloisInc/hacrypto.git