Add `lakers-python` #795

Job	Run time
generate-fstar	2m 13s
check-style	11s
unit-tests-default	27s
build-lakers-python	48s
unit-tests (lakers-crypto/hacspec, ead-none)	30s
unit-tests (lakers-crypto/hacspec, ead-authz)	32s
unit-tests (lakers-crypto/psa, ead-none)	50s
unit-tests (lakers-crypto/psa, ead-authz)	49s
unit-tests (lakers-crypto/rustcrypto, ead-none)	30s
unit-tests (lakers-crypto/rustcrypto, ead-authz)	30s
build-edhoc-package	0s
build-coap-example	0s
build-lakers-c	0s
build-example-for-cortex-m4	0s
run-example-on-qemu	0s
release	0s
	7m 20s

Provide feedback