Fixing issue https://github.com/bricebou/pico_leaflet/issues/1 : let the user choose if he wants to load Leaflet from local server