Version 2.4.2 Released

[agw]

Just a release of the server this time to clean up a handful of bugs in the Leaflet maps:

• Fixed: Leaflet marker labels not removed when marker gets removed.
• Fixed: Leaflet marker tooltips were not refreshing properly.
• Fixed: Report map did not show menu button when using Leaflet maps.
• Fixed: Range circles ignored configuration on Leaflet maps.