Adding Keccak256 and SHA-3 to protocol
This MR adds the following hash functions from HACL* to Raw_hashes
in the protocol environment:
val keccak256 : bytes -> bytes
val sha3_256 : bytes -> bytes
val sha3_512 : bytes -> bytes
Edited by Victor Dumitrescu