Bump etc/coq-scripts from `e4d9e81` to `4327aa1` #5691

Job	Run time
test-rust	2m 47s
Build on no_std target (thumbv7em-none-eabi)	12s
test-rust-check-all	5s
	3m 4s

Provide feedback