svgmap.py add command line option to specify id attribute