Use HTTPS url for Leaflet submodule