More Python targets: 3.13, pypy3.10 #1079

Job	Run time
generate-fstar	2m 8s
check-style	30s
unit-tests-default	56s
test-lakers-python	58s
unit-tests (lakers-crypto/psa, ead-none)	54s
unit-tests (lakers-crypto/psa, ead-authz)	1m 9s
unit-tests (lakers-crypto/rustcrypto, ead-none)	45s
unit-tests (lakers-crypto/rustcrypto, ead-authz)	57s
build-lakers-c (crypto-rustcrypto)	1m 5s
build-edhoc-package (lakers-crypto/psa)	1m 24s
build-edhoc-package (lakers-crypto/psa-baremetal)	1m 41s
build-edhoc-package (lakers-crypto/cryptocell310)	1m 32s
build-lakers-c (crypto-psa-baremetal)	1m 32s
build-edhoc-package (lakers-crypto/rustcrypto)	1m 3s
build-coap-example	49s
build-lakers-c (crypto-cryptocell310)	1m 14s
build-example-for-cortex-m4 (crypto-psa)	1m 54s
build-example-for-cortex-m4 (crypto-cryptocell310)	1m 10s
build-lakers-c-example	2m 3s
run-example-on-qemu (crypto-psa)	1m 35s
release	0s
	25m 19s

Provide feedback