Render Vector HTML5 maps using CartoDB and Carto as styling language, on top of Leaflet