Move OCB test to AEAD test framework. Disable Threefish benchmark.
Add --write-hash-file to dist.py, producing a sha256sum file
and clearsigning it, instead of signing the individual archives.