Remove `abs_ceil_ge` #1278

Job	Run time
rocq-core	55s
coq	59s
mathcomp-analysis-single	14m 7s
mathcomp-classical	3m 0s
mathcomp-reals	2m 9s
mathcomp-experimental-reals	1m 47s
mathcomp-analysis	12m 31s
mathcomp-reals-stdlib	1m 41s
mathcomp-analysis-stdlib	13m 9s
ssprove	17m 2s
	1h 7m 20s

Provide feedback