Comment 19 for bug 192923

Alvin, what would you think about adding r12 dxf output as an option by using the same method as used in flatten.py to convert the curves to polylines?

I also think we should make the scale configurable. do know what other common scales would be needed?