Investigate vector based map tiles

[aSemy]

The web-map uses PNG tiles. There would be several advantages to using vector tiles

• styling can be dynamic, the frontend can use CSS to make it look nice
• reduced storage requirements
• rendering entities as separate PNGs is not possible - there are too many. Rendering them in a single tile means they can't be selected. Rendering them as vectors allows for them to be separately selectable.
• processing the tiles would be easier - I wouldn't have to group updates into chunks and fuss about with handling edgecases when an entity is rendered across a chunk border.

This change requires either changes to the web-map, as Leaflet does not natively support vector tiles

I need some way to convert the data from Factorio into a vector format. Some of these have some sort of 'raster polygonize' tool:

• PostGIS
• GDAL
• GeoTools
• Kotlin letsPlot
• GeoServer

Other notes:

• Maplibre GL JS? https://maplibre.org/maplibre-gl-js-docs/example/
  • Add VectorGrid? https://leaflet.github.io/Leaflet.VectorGrid/vectorgrid-api-docs.html
    • https://leaflet.github.io/Leaflet.VectorGrid/vectorgrid-api-docs.html#styling-vectorgrids