An IPython Widget for Leaflet Maps