Add rotate geographic database function

[Enrique Prada Vázquez]

Currently, Django’s GIS module supports translating and scaling geometries using Translate and Scale functions, but it lacks a Rotate function equivalent to PostGIS’s ST_Rotate. Adding a Rotate function would enhance the module's capabilities, allowing users to rotate geometries directly within Django ORM without resorting to raw SQL.

This function could accept an angle in radians (or optionally degrees) and support rotation around the origin (or optionally a specified point).

Relevant links:

• ​https://docs.djangoproject.com/en/dev/ref/contrib/gis/functions/#django.contrib.gis.db.models.functions.Reverse
• ​https://postgis.net/docs/ST_Rotate.html

[Claude Paroz]

Even if we don't plan to support the entire range of PostGIS functions, as it's rather easy to create your own GeomOutputGeoFunc subclass (without resorting to raw SQL), I would rather be positive about adding this one. Patch welcome.

[Enrique Prada Vázquez]

​https://github.com/django/django/pull/18553