coqide: rename to `coq-platform`, update #158977

Job	Run time
generate-matrix	41s
syntax (macos-15)	2m 48s
test coq-platform (macos-13, intel)	19m 1s
test coq-platform (macos-15, arm)	7m 15s
conclusion	1s
	29m 46s

Provide feedback