Drop obsolete compatibility @({bigint,spoint}, smoc) operators

These were required by GAVO DaCHS, but are not used anymore.
Furthermore, PG17 will forbid declaring commutators and negators
relations with operators that themselves have relations to different
operators.

We delete pgs_moc_compat.sql.in and remove it from the old
pg_sphere--1.1.5beta2gavo--1.1.5beta4gavo.sql upgrade script. This is ok
to do since dropping the operators uses "if exists".

Discussion: https://www.postgresql.org/message-id/flat/ZTfL1G1fBPQHVPWV%40msg.df7cb.de#ce3801c084bcf05b6b976cb2d0e25b2d

Close postgrespro#85.

Author: df7cb

Diff for: Makefile

@@ -65,7 +65,7 @@ endif
 PGS_SQL    += pgs_gist_spoint3.sql
 
 ifneq ($(USE_HEALPIX),0)
-PGS_SQL    += pgs_moc_type.sql pgs_moc_compat.sql pgs_moc_ops.sql \
+PGS_SQL    += pgs_moc_type.sql pgs_moc_ops.sql \
               pgs_moc_geo_casts.sql
 endif
 
@@ -146,7 +146,7 @@ ifneq ($(USE_HEALPIX),0)
 pg_sphere--1.1.5beta0gavo--1.1.5beta2gavo.sql: pgs_moc_type.sql.in
 	cat upgrade_scripts/$@.in $^ > $@
 
-pg_sphere--1.1.5beta2gavo--1.1.5beta4gavo.sql: pgs_moc_compat.sql.in
+pg_sphere--1.1.5beta2gavo--1.1.5beta4gavo.sql:
 	cat upgrade_scripts/$@.in $^ > $@
 
 pg_sphere--1.1.5beta4gavo--1.2.0.sql: pgs_moc_ops.sql.in

Diff for: pgs_moc_compat.sql.in

@@ -12,3 +12,7 @@ EXCEPTION
    WHEN OTHERS THEN RAISE;
 END;
 $$;
+
+-- remove legacy spellings of operators
+DROP OPERATOR IF EXISTS @(bigint, smoc);
+DROP OPERATOR IF EXISTS @(spoint, smoc);