make margin font in LaTeX output configurable

I needed to disable the special marginfont in the latex output, so I added this configuration parameter that allows to use the empty string to use the LaTeX default.