Dynamic polling of GitHub JSON-P added

See Leaflet demos.