Add authz server with no acl (left for user app) #818

Job	Run time
generate-fstar	2m 18s
check-style	13s
unit-tests-default	42s
test-lakers-python	49s
unit-tests (lakers-crypto/psa, ead-none)	1m 39s
unit-tests (lakers-crypto/psa, ead-authz)	47s
unit-tests (lakers-crypto/rustcrypto, ead-none)	29s
unit-tests (lakers-crypto/rustcrypto, ead-authz)	28s
build-coap-example	43s
build-lakers-c (crypto-rustcrypto)	1m 18s
build-edhoc-package (lakers-crypto/psa, ead-none)	1m 23s
build-example-for-cortex-m4 (crypto-psa, ead-none)	1m 11s
build-lakers-c (crypto-psa-baremetal)	1m 32s
build-edhoc-package (lakers-crypto/psa, ead-authz)	1m 31s
build-example-for-cortex-m4 (crypto-psa, ead-authz)	1m 20s
build-lakers-c (crypto-cryptocell310)	1m 25s
build-edhoc-package (lakers-crypto/psa-baremetal, ead-none)	1m 17s
run-example-on-qemu (crypto-psa, ead-none)	1m 50s
build-example-for-cortex-m4 (crypto-cryptocell310, ead-none)	1m 24s
run-example-on-qemu (crypto-psa, ead-authz)	1m 44s
build-edhoc-package (lakers-crypto/psa-baremetal, ead-authz)	1m 18s
build-example-for-cortex-m4 (crypto-cryptocell310, ead-authz)	1m 22s
build-edhoc-package (lakers-crypto/cryptocell310, ead-none)	1m 7s
build-edhoc-package (lakers-crypto/cryptocell310, ead-authz)	1m 23s
build-edhoc-package (lakers-crypto/rustcrypto, ead-none)	1m 12s
build-edhoc-package (lakers-crypto/rustcrypto, ead-authz)	1m 11s
release	0s
	31m 36s

Provide feedback