First pass on domain model outline for hacrypto.  Includes a drill-down into hashes, all the way to JML-annotated Java.
Merge branch 'master' of github.com:GaloisInc/hacrypto