Add vector map to index.html

[brotkiste]

Using mapbox-gl-leaflet, had to update leaflet.

Style is hosted on maptiler.com in a trash account for now, this has to be changed.
Alternative would be to replace {key} in the style with a maptiler.com key and self-host the style file.
I don't know which alternative is worse/Didn't find how to do it properly without hosting the style on maptiler.com :/

[brotkiste]

Probably it will be necessary for every user to self-host the style file and replace {key}.
Same applies to contour lines and hillshading (will make a second pull request)

[der-stefan]

Thank you very much, @brotkiste! My plan is to host vector tiles on our own server, including our preprocessing scripts. But I have no idea if we can use mod_tile and tirex. The tile "rendering" should be possible with plain postgis-postgresql.

[KrausMatthias]

Ah ok, that would be awesome 👍
With rendering you mean producing the protobufs from openstreetmap data?

Do you also plan to host Hillshading and Contour Lines?

[der-stefan]

Yes, of course with hillshade and contours. We have all data in a postgresql database. But I have no clue yet how to manage that.