Bump coqprime from `845c00c` to `09db3f8` #784

Job	Run time
docker-master	1h 27m 47s
publish-standalone-dry-run	17s
test-standalone (master, dev, default)	1m 32s
build-wasm-of-ocaml (master, 4.14.1)	20m 4s
validate-docker-master	3m 32s
build-js-of-ocaml (master, 4.11.1)	9m 18s
generated-files (master)	23m 30s
standalone-haskell (master)	48m 25s
test-amd64	2h 19m 58s
deploy-js-wasm-of-ocaml	47s
docker-check-all	1s
	5h 35m 11s

Provide feedback