Cryptol specification of the SipHash function
This is a Cryptol specification of the SipHash function.