Issue #57: add Leaflet scale control