Add an option not to merge adjacent chars

With this option on, each DVI character is put in its own <text> tag.
Makes post processing the SVG file a bit simpler.