bump rupicola (requires Coq >= 8.18) #376

Job	Run time
docker-master	1h 36m 26s
test-standalone (master, dev, default)	56s
publish-standalone-dry-run	14s
build-js-of-ocaml (master, 4.11.1)	17m 14s
generated-files (master)	24m 5s
standalone-haskell (master)	52m 53s
build-wasm-of-ocaml (master, 4.14.1)	13m 20s
test-amd64	2h 17m 27s
validate-docker-master	1m 23s
deploy-js-wasm-of-ocaml	38s
docker-check-all	2s
	5h 44m 38s

Provide feedback