polishing
add David's Keccak implementation
readme updates

clarify CVC4 dependency and tweak wording around checking an installation
Making the SHA1 "f" look more like the NIST SHA1 "f"
Note: NIST 180-4 has an inconsistency in section 4.1.1 - the prose
says 0<=t<=80, but the formula says 0<=t<=79. Later, they refer to
80 elements, so we're going with the formula's specification
add arch to dist package
a little "how to run this" added to funstuff
fixing issue290 - it was a bug in the brain of the reporter.
imports need to be qualified to support this behavior.
keccak is version 1, and proving too tricky to convert for now.
Moving simon and spec to contrib, to "seed the pool" of contributed
examples.
markdown -> .md, Acks section, adding spec to contrib
make package id configurable via env var
change name of book pdf
change glob for markdown docs
temporarily check docs into the repo

Getting the right TeX Live and pandoc environments on the build slaves
is turning out to be a Big Headache. For now, build docs locally and
keep the repo copies up to date.
change system description parameter in makefile
final tweaks to the book
updated docs
incorporating "thanks" in main README
spec.cry should be speck.cry.
Fix formatting in speck.cry.