Update example.html
Update example_gpx.html
Merge pull request #1 from webot/master

leaflet 0.6.2