A Leaflet plugin to turn GeoJSON layers parsed using Web Workers