Improve AES FIPS spec bibliography entry
Add section about HKDF

Closes #20.