Allow to generate SVG formulas with the formula macro native renderer

Currently, the native renderer of the formula macro will use a locally installed LaTeX compiler to compile the formula in DVI, and then convert the DVI into PDF and finally extract a PNG / JPEG or GIF image from the PDF.

For very large formulas, the rendering of the formulas can generate blurry images, or images that are not to scale. In order to circumvent the issue, it is possible to use dvisvgm to convert a DVI into an SVG file, which can be displayed properly.