working, no ASM sha_nss that frama-c doesn't like
frama_c agrees with a single run of gcc!
Merge branch 'master' of ssh://github.com/GaloisInc/hacrypto