Add more hash functions to the protocol

We should add more hash functions to Michelson in order to allow more advanced use cases in terms of interoperability with other chains.

Since we are adding a bunch of things to the environment for 007, it would be a good time to also add hash functions.

Ref 1