Snapshots of three new libraries' HEADs and three resources.
Merge branch 'master' of github.com:GaloisInc/hacrypto
Snapshot of OpenSSL FIPS-related materials, generated by wget -m.
Additional useful papers/reports.
Merge branch 'master' of github.com:GaloisInc/hacrypto