Export reformulation graph

[glebbelov]

• Extend the existing writegraph option to include unary encodings
• ... also conic conversions
• Export nodes as well
• Create an exploration frontend
• But enable NL conversion tree export without frontend, or read non-full if large model
• Fix expression-mode export