Docker image for 3DCityDB v5

[BWibo]

This PR adds an edge image for the 3DCityDB v5. The image is built from the latest commit to v5-devel branch and published to Dockerhub and Github packages:

• 3dcitydb/3dcitydb-pg-v5:edge
• ghcr.io/3dcitydb/3dcitydb-pg-v5:edge

docker run --name 3dciytdb -p 5432:5432 -d \
    -e POSTGRES_PASSWORD=<theSecretPassword> \
    -e SRID=<EPSG code> \
    [-e HEIGHT_EPSG=<EPSG code>] \
    [-e SRS_NAME=<mySrsName>] \
    [-e POSTGRES_DB=<database name>] \
    [-e POSTGRES_USER=<username>] \
    [-e POSTGIS_SFCGAL=<true|false|yes|no>] \
  3dcitydb/3dcitydb-pg-v5:edge

[BWibo]

Will we have a separate release track for v5?

[clausnagel]

Please rename the ENV variable GMLSRSNAME to SRS_NAME. We try to be independent from GML as much as possible.

[clausnagel]

Will we have a separate release track for v5?

Well, no, this is not planned currently.

[BWibo]

I renamed the variable, but only in the Docker init script 3dcitydb-initdb.sh. I left CREATE_DB.sql, CREATE_DB.sh and CREATE_DB.bat untouched, where GMLSRSNAME still exists.