v3.1.0

What's Changed

• closes #62 by @ThomasHalwax in #63
• Live Data Sources by @ThomasHalwax in #64
• UI improvement sidebar by @ThomasHalwax in #65
• Circular measure tool by @ThomasHalwax in #66
• new: exporting layer data into GeoJSON files by @ThomasHalwax in #67
• persist and restore maximised/fullscreen state by @ThomasHalwax in #68
• modernised GH workflow by @ThomasHalwax in #69
• Taglist for faster access to tag filtering by @ThomasHalwax in #70
• TileJSON discovery (similar to WMS and WMTS) by @ThomasHalwax in #71
• added documentation for TileJSON discovery by @ThomasHalwax in #72
• improved tag handling by @ThomasHalwax in #73

Full Changelog: v3.0.2...v3.1.0