Stateful initialization of crypto backends #883

Job	Run time
check-style	12s
generate-fstar	2m 26s
test-lakers-python	45s
unit-tests-default	44s
unit-tests (lakers-crypto/psa, ead-none)	43s
unit-tests (lakers-crypto/psa, ead-authz)	50s
unit-tests (lakers-crypto/rustcrypto, ead-none)	32s
unit-tests (lakers-crypto/rustcrypto, ead-authz)	28s
build-example-for-cortex-m4 (crypto-psa, lakers-ead/ead-none)	1m 29s
build-lakers-c (crypto-rustcrypto)	1m 8s
build-example-for-cortex-m4 (crypto-psa, lakers-ead/ead-authz)	1m 21s
build-lakers-c (crypto-psa-baremetal)	1m 39s
build-coap-example	44s
build-edhoc-package (lakers-crypto/psa, lakers-ead/ead-none)	1m 14s
build-example-for-cortex-m4 (crypto-cryptocell310, lakers-ead/ead-none)	1m 39s
build-lakers-c (crypto-cryptocell310)	1m 22s
build-edhoc-package (lakers-crypto/psa, lakers-ead/ead-authz)	1m 8s
build-example-for-cortex-m4 (crypto-cryptocell310, lakers-ead/ead-authz)	1m 35s
build-edhoc-package (lakers-crypto/psa-baremetal, lakers-ead/ead-none)	1m 20s
build-edhoc-package (lakers-crypto/psa-baremetal, lakers-ead/ead-authz)	1m 9s
build-edhoc-package (lakers-crypto/cryptocell310, lakers-ead/ead-none)	58s
run-example-on-qemu (crypto-psa, lakers-ead/ead-none)	1m 46s
build-edhoc-package (lakers-crypto/cryptocell310, lakers-ead/ead-authz)	1m 17s
run-example-on-qemu (crypto-psa, lakers-ead/ead-authz)	1m 33s
build-edhoc-package (lakers-crypto/rustcrypto, lakers-ead/ead-none)	1m 0s
build-edhoc-package (lakers-crypto/rustcrypto, lakers-ead/ead-authz)	1m 4s
release	0s
	30m 6s

Provide feedback