Generated HTML could be much smaller

The HTML generated by folium is quite verbose which leads to big files when you have 2000 markers for example.

• The javascript is not separate from the HTML which makes it harder to minimise. Running the javascript through the closure compiler reduced it to about 70% of the original size.
• Variables names are very long which adds a significant length to the generated file.

I'm sure there are more savings but these two seemed like the most obvious.

没有指定文件或测试。首先定位 folium 生成 HTML 和 JavaScript 的入口点，然后测量包含大量标记的地图的输出；完成的标准是在保持生成地图行为不变的同时，通过缩小嵌入的 JavaScript 和变量名来减小文件大小。