Include area IDs when exporting map to SVG format

Our Export plugin can export charts and maps to variety of formats, including vector-based SVG. However, it won't export area IDs.

This demo shows how you can apply a workaround for that, so that id properties are being exported and can be used in other applications that can read SVG.