Moved SHA-2 into the right place.
Renames for old Cryptol 1 versions of SHA-2.
Correction in informal spec.
SHA-2 work has been moved to the new libvcrypt repo.
Patched libvcrypt SHA-2.cry.