Improved Leaflet example
Stable htmlwidget ID names

Prevents spurious diffs in the .html files every time you build