Adding functions for message_4 #1129

Job	Run time
generate-fstar	1m 59s
check-style	21s
unit-tests-default	50s
unit-tests (lakers-crypto/psa, ead-none)	1m 13s
test-lakers-python	51s
unit-tests (lakers-crypto/psa, ead-authz)	52s
unit-tests (lakers-crypto/rustcrypto, ead-none)	43s
unit-tests (lakers-crypto/rustcrypto, ead-authz)	59s
build-coap-example	48s
build-example-for-cortex-m4 (crypto-psa)	2m 59s
build-lakers-c (crypto-rustcrypto)	59s
build-edhoc-package (lakers-crypto/psa)	1m 13s
build-lakers-c (crypto-psa-baremetal)	1m 25s
build-edhoc-package (lakers-crypto/psa-baremetal)	1m 13s
build-lakers-c-example	1m 55s
build-lakers-c (crypto-cryptocell310)	1m 50s
build-example-for-cortex-m4 (crypto-cryptocell310)	1m 36s
build-edhoc-package (lakers-crypto/cryptocell310)	58s
build-edhoc-package (lakers-crypto/rustcrypto)	2m 1s
run-example-on-qemu (crypto-psa)	1m 31s
release	0s
	26m 16s

Provide feedback