Removing hacspec #284

Job	Run time
check-style	14s
unit-tests (rust, psa, ead-none)	1m 17s
unit-tests (rust, psa, ead-zeroconf)	1m 24s
hacspec-to-fstar	8s
build-edhoc-package (rust, psa, ead-none)	1m 57s
build-edhoc-package (rust, psa, ead-zeroconf)	2m 4s
build-coap-example	1m 15s
build-example-for-cortex-m4 (rust, psa, ead-none)	1m 44s
build-edhoc-package (rust, psa-baremetal, ead-none)	1m 53s
build-example-for-cortex-m4 (rust, psa, ead-zeroconf)	2m 5s
build-edhoc-package (rust, psa-baremetal, ead-zeroconf)	1m 57s
run-example-on-qemu (rust-psa, ead-none)	1m 55s
build-example-for-cortex-m4 (rust, cryptocell310, ead-none)	1m 48s
build-edhoc-package (rust, cryptocell310, ead-none)	1m 47s
run-example-on-qemu (rust-psa, ead-zeroconf)	2m 11s
build-static-lib-and-headers (rust, psa-baremetal)	1m 45s
build-example-for-cortex-m4 (rust, cryptocell310, ead-zeroconf)	1m 40s
build-edhoc-package (rust, cryptocell310, ead-zeroconf)	1m 40s
build-static-lib-and-headers (rust, cryptocell310)	1m 44s
release	0s
	30m 28s

Provide feedback