issue 108 from Sean, and a minor tweak to the AES chapter's formatting.
Merge branch 'master' of https://github.com/GaloisInc/cryptol