Add seed+counter -> hash to applied-hashes

[dbosk]

Douglas' idea. Add seed+counter mode+truncation to construct hash function. Hash functions are just embedded ciphers.

Also talk about keyed hash functions, HMAC.