Hardcoded stroke-dasharray in SVG visualization

[pradeep-pyro]

The SVG visualization for hidden edges uses hardcoded parameters for the stroke-dasharray attribute, see here:

pythonocc-core/src/Extend/DataExchange.py

Line 516 in 33473b9

hidden_svg_line.dasharray([5, 5])

This should ideally be configurable by the user.

[tpaviot]

I agree