Migrating from Google Maps to maplibre_gl

[nathan01100010]

In response to #308 [Feature] Migrating from Google Maps to maplibre/flutter-maplibre-gl

Changes

• Map widget now uses maplibre_gl map controller instead of Google Maps map controller
• Map is now styled (partially) such that it matches NavigaTUM (base styling now uses Martin, but additional layers have not been added)
• Geolocation button is now in the top left instead of bottom right
• The privacy policy is no longer incomplete in this regard (Google Maps usage was not mentioned)

Byproducts

• Two additional assets
• One additional dependency (maplibre_gl)
• Changed ndkVersion for Android app build
• One additional dependency override
• pubspec.lock now has upgraded dependencies unrelated to new dependency

Known degradations

• Map is no longer rectangular when above the other page elements and square when below the other page elements; it is always square.
• Dark mode is no longer implemented for the map. This feature will require collaboration with the NavigaTUM team.
• Map no longer smooth scrolls to selected elements
• Pin labels are much uglier
• Pin labels do not disappear when clicking off one pin but not onto another, they remain until the another pin is selected
• Cafeteria markers are no longer a different color from the other markers when displayed as a group (was this intentional? It's not done for study rooms)

Future features

• Additional layers including floors to better match NavigaTUM
• Suggestion of NavigaTUM when user requests to navigate to a place
• Completely removing google_maps_flutter, including offline components, by transitioning away from usage of google_maps_flutter defined objects being put through a translation layer in favor of natively defined maplibre_gl objects

Example photos

[kordianbruck]

This is pretty incredible, thanks Nathan! (FYI @CommanderStorm)

[CommanderStorm]

Really nice work and thanks a ton for tackling this problem!

I have added a code comments below regarding the camera usage and a few comments.
Other than that LGTM

[CommanderStorm]

Completely removing google_maps_flutter, including offline components, by transitioning away from usage of google_maps_flutter defined objects being put through a translation layer in favor of natively defined maplibre_gl objects

If you think this is a better way, I will go with that.
I have not looked how much work that would be 😅

[nathan01100010]

I think long term it would be preferable to have fewer dependencies but it breaks the containment of the map widget itself so it's quite a lot of effort. Ultimately the only true impact is a file size difference and probably a few microseconds.